Deforesting Logical Form
From MaRDI portal
Publication:3584993
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
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)