×

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 Euclid