Pages that link to "Item:Q1102282"
From MaRDI portal
The following pages link to A compact representation of proofs (Q1102282):
Displayed 9 items.
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- On connections and higher-order logic (Q908896) (← links)
- On the form of witness terms (Q982183) (← links)
- Nominal logic, a first order theory of names and binding (Q1887151) (← links)
- TPS: A theorem-proving system for classical type theory (Q1923825) (← links)
- A Clausal Approach to Proof Analysis in Second-Order Logic (Q3605531) (← links)
- Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic (Q3637204) (← links)
- Direct deductive computation on discourse representation structures (Q4312345) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)