Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Citkey="Ly/00a"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

The bounded weak monadic quantifier alternation hierarchy of equational graphs is infinite Publikation auswählen
Olivier Ly

Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2000 (New Delhi, India, December 13-15, 2000)
Lecture Notes in Computer Science 1974 , 2000, pp. 188-200

Editors  Sanjiv Kapoor, Sanjiva Prasad
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo
 
URL:   http://www.springerlink.com/content/gr3gpl4eegpdrajh