The theory of ends, pushdown automata, and second-order logic
- 1 January 1985
- journal article
- review article
- Published by Elsevier in Theoretical Computer Science
- Vol. 37, 51-75
- https://doi.org/10.1016/0304-3975(85)90087-8
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Groups, the Theory of ends, and context-free languagesJournal of Computer and System Sciences, 1983
- The equality problem for vector addition systems is undecidableTheoretical Computer Science, 1976
- Decidability and undecidability of extensions of second (first) order theory of (generalized) successorThe Journal of Symbolic Logic, 1966