×

zbMATH — the first resource for mathematics

Decidability of second-order theories and automata on infinite trees. (English) Zbl 0221.02031

MSC:
03B25 Decidability of theories and sets of sentences
03D05 Automata and formal grammars in connection with logical questions
Keywords:
231.02056
PDF BibTeX XML Cite
Full Text: DOI