Pages that link to "Item:Q1311397"
From MaRDI portal
The following pages link to A proof procedure for the logic of hereditary Harrop formulas (Q1311397):
Displayed 7 items.
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Representing scope in intuitionistic deductions (Q1274448) (← links)
- Correspondences between classical, intuitionistic and uniform provability (Q1575924) (← links)
- The undecidability of proof search when equality is a logical connective (Q2134939) (← links)
- Non-commutative proof construction: a constraint-based approach (Q2503402) (← links)
- Correct Answers for First Order Logic (Q4923518) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)