Pages that link to "Item:Q3395096"
From MaRDI portal
The following pages link to Decidability of higher-order matching (Q3395096):
Displayed 5 items.
- Functional programs as compressed data (Q526441) (← links)
- Termination of rewrite relations on \(\lambda\)-terms based on Girard's notion of reducibility (Q896904) (← links)
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0 (Q2819200) (← links)
- The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL (Q2900507) (← links)
- An Improved Proof-Theoretic Compilation of Logic Programs (Q4911140) (← links)