On the bounded theories of finite trees

DOI10.1007/BFB0027788MaRDI QIDQ6560360zbMATH OpenFDO

Authors Sergei Vorobyov

Publication date 21 June 2024

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07)

Recommendations

• An improved lower bound for the elementary theories of trees
• Theory of finite or infinite trees revisited
• On the computational complexity of the theory of complete binary trees
• First-order theories of bounded trees
• A first-order axiomatization of the theory of finite trees

Cites work

• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3560737 (Why is no real title available?)
• A feature constraint system for logic programming with entailment
• An application of games to the completeness problem for formalized theories
• An improved lower bound for the elementary theories of trees
• Feature-constraint logics for unification grammars
• Negation in logic programming
• The computational complexity of logical theories
• The polynomial-time hierarchy

This page was built for publication: On the bounded theories of finite trees

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