On the decidability of the equivalence problem for monadic recursive programs. (English) Zbl 0962.68091
MSC:
68Q45
Found 2 Documents (Results 1–2)
The equivalence problem for deterministic pushdown automata is decidable. (English) Zbl 1401.68168
Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 671-681 (1997).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
