 |
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: Citkey="Buntrock-Hemachandra-Siefkes/90" |
|
Using inductive counting to simulate nondeterministic computation
G. Buntrock, L.A. Hemachandra, D. Siefkes
Proceedings of the 15th International Symposium on Mathematical Foundations of Computer Science, MFCS'90 (Banská Bystrica, Czechoslovakia, August 27-31, 1990)
Lecture Notes in Computer Science
452
, 1990, pp. 187-194
| Editors | B. Rovan | |
| 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=452&spage=187 | |
|
|
|
|