Automata on Infinite Objects
- 1 January 1990
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 79 references indexed in Scilit:
- The monadic second-order logic of graphs, II: Infinite graphs of bounded widthTheory of Computing Systems, 1988
- Recognizing safety and livenessDistributed Computing, 1987
- First-order logic and star-free setsJournal of Computer and System Sciences, 1986
- Ensembles Reconnaissables de Mots BiinfinisCanadian Journal of Mathematics, 1986
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- Infinite behaviour of Petri netsTheoretical Computer Science, 1983
- Adherences of languagesJournal of Computer and System Sciences, 1980
- Formal computations of non deterministic recursive program schemesTheory of Computing Systems, 1979
- Decision problems forω-automataTheory of Computing Systems, 1969
- Generalized finite automata theory with an application to a decision problem of second-order logicTheory of Computing Systems, 1968