scientific article; zbMATH DE number 4008381

MaRDI QIDQ3758818zbMATH OpenFDO

Authors Jari Talja

Publication date 1985

zbMATH Keywords

model- theoretic gamesmonadic second-order theory of finite treesregular forests

Mathematics Subject Classification ID

Applications of game theory (91A80) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Model theory (03C99)

Recommendations

• scientific article; zbMATH DE number 4051592
• On n-equivalence of binary trees
• Games on Trees and Syntactical Complexity of Formulas
• scientific article; zbMATH DE number 2206111
• scientific article; zbMATH DE number 1418347

Cited in

(3)

• On n-equivalence of binary trees
• Lit-only \(\sigma \)-game on pseudo-trees
• Measure Properties of Game Tree Languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3758818)