Alternating pushdown automata
- 1 October 1978
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 92-106
- https://doi.org/10.1109/sfcs.1978.6
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Propositional modal logic of programsPublished by Association for Computing Machinery (ACM) ,1977
- AlternationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- On parallelism in turing machinesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- The intrinsically exponential complexity of the circularity problem for attribute grammarsCommunications of the ACM, 1975
- On Dedekind's Problem: The Number of Isotone Boolean Functions. IITransactions of the American Mathematical Society, 1975
- Characterizations of Pushdown Machines in Terms of Time-Bounded ComputersJournal of the ACM, 1971
- Nonerasing stack automataJournal of Computer and System Sciences, 1967
- Two-way pushdown automataInformation and Control, 1967
- Stack automata and compilingJournal of the ACM, 1967
- The Reduction of Two-Way Automata to One-Way AutomataIBM Journal of Research and Development, 1959