 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Author="Hafer, T." |
|
Computation tree logic CTL^* and path quantifiers in the monadic theory of the binary tree
T. Hafer, W. Thomas
Proceedings of the 14th International Colloquium on Automata, Languages and Programming, ICALP'87 (Karlsruhe, Germany, July 13-17, 1987)
Lecture Notes in Computer Science
267
, 1987, pp. 269-279
| Editors | Th. Ottmann | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong | |
| URL: |
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=267&spage=269 | |
|
|
|
|