Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen | Hilfe |
Suche: Citkey="Gurari/85" |
Journal of the ACM 32 (2), 1985, pp. 466-483
Publisher: | ACM Press | |
Address: | New York | |
Keywords: | Simple programming languages, equivalence problem, computational complexity, decidable, undecidable, PSPACE-complete, Presburger sets, counter machines | |