scientific article; zbMATH DE number 4008381

zbMATH Open0622.03028MaRDI QIDQ3758818FDOQ3758818

Authors: Jari Talja 

Publication date: 1985

Title of this publication is not available (Why is that?)

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
• Publication:4941910

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)

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)