Applying tree languages in proof theory

DOI10.1007/978-3-642-28332-1_26zbMATH Open1350.68170OpenAlexW2204729546MaRDI QIDQ2890201FDOQ2890201

Authors Stefan Hetzl

Publication date 8 June 2012

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28332-1_26

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Tree grammars for the elimination of non-prenex cuts
• Herbrand disjunctions, cut elimination and context-free tree grammars
• scientific article; zbMATH DE number 2019855
• scientific article; zbMATH DE number 5000964
• scientific article; zbMATH DE number 1689588

Cited in

(19)

• Tree grammars for the elimination of non-prenex cuts
• Herbrand disjunctions, cut elimination and context-free tree grammars
• scientific article; zbMATH DE number 5000964 (Why is no real title available?)
• Compressibility of Finite Languages by Grammars
• scientific article; zbMATH DE number 7447752 (Why is no real title available?)
• Trees and diagrams of decomposition
• On the cover complexity of finite languages
• scientific article; zbMATH DE number 1406240 (Why is no real title available?)
• scientific article; zbMATH DE number 2019855 (Why is no real title available?)
• scientific article; zbMATH DE number 809162 (Why is no real title available?)
• Herbrand's theorem as higher order recursion
• Algorithmic introduction of quantified cuts
• Manipulating tree tuple languages by transforming logic programs
• The problem of \(\Pi_{2}\)-cut-introduction
• Inductive theorem proving based on tree grammars
• From syntactic theories to interpreters: Automating the proof of unique decomposition
• Axiomatising tree-interpretable structures
• On the Herbrand content of LK
• On the compressibility of finite languages and formal proofs

This page was built for publication: Applying tree languages in proof theory

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