Deforesting Logical Form

DOI10.1007/978-3-642-14322-9_2MaRDI QIDQ3584993zbMATH OpenOpenAlexFDO

Authors

Publication date 31 August 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14322-9_2

Mathematics Subject Classification ID

Natural language processing (68T50)

Recommendations

• scientific article; zbMATH DE number 5347850
• scientific article; zbMATH DE number 5033862
• Forest defoliation scenarios
• Deforestation, program transformation, and cut-elimination
• Classical proof forestry
• Logical form and radical interpretation
• Deforestation and optimal management
• Deformalization as the immanent part of logical solving
• Deforestation: Transforming programs to eliminate trees
• The theory of form logic

Cited in

(1)

• scientific article; zbMATH DE number 5033862 (Why is no real title available?)

This page was built for publication: Deforesting Logical Form

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