On the bounded theories of finite trees

DOI10.1007/BFB0027788zbMATH Open1541.03111MaRDI QIDQ6560360

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The polynomial-time hierarchy
• The computational complexity of logical theories
• A feature constraint system for logic programming with entailment
• An application of games to the completeness problem for formalized theories
• Negation in logic programming
• Feature-constraint logics for unification grammars
• An improved lower bound for the elementary theories of trees

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)