Pages that link to "Item:Q1923825"
From MaRDI portal
The following pages link to TPS: A theorem-proving system for classical type theory (Q1923825):
Displaying 18 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Mathematical induction in Otter-lambda (Q861715) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- The seven virtues of simple type theory (Q946569) (← links)
- Reduction and unification in lambda calculi with a general notion of subtype (Q1340967) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Lash 1.0 (system description) (Q2104521) (← links)
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 (Q2655326) (← links)
- 2004 Annual Meeting of the Association for Symbolic Logic (Q3370628) (← links)
- THF0 – The Core of the TPTP Language for Higher-Order Logic (Q3541725) (← links)
- Supra-logic: using transfinite type theory with type variables for paraconsistency (Q3647220) (← links)
- The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)
