Control of ω-automata, Church's problem, and the emptiness problem for tree ω-automata
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 367-381
- https://doi.org/10.1007/bfb0023782
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Temporal and Modal LogicPublished by Elsevier ,1990
- Automata on Infinite ObjectsPublished by Elsevier ,1990
- Deterministic Automata and the Monadic Theory of Ordinals <ω 2Published by Springer Nature ,1990
- On the synthesis of an asynchronous reactive moduleLecture Notes in Computer Science, 1989
- Automata, tableaux, and temporal logicsLecture Notes in Computer Science, 1985
- Trees, automata, and gamesPublished by Association for Computing Machinery (ACM) ,1982
- The emptiness problem for automata on infinite treesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1972
- Solving sequential conditions by finite-state strategiesTransactions of the American Mathematical Society, 1969
- Testing and generating infinite sequences by a finite automatonInformation and Control, 1966
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955