Leo
From MaRDI portal
Cited in
(37)- TPS
- THF0
- Comparing approaches to resolution based higher-order theorem proving
- MBase
- Functions-as-constructors higher-order unification: extended pattern unification
- MathWeb
- HOT
- LeoPARD
- Extensional higher-order paramodulation in Leo-III
- scientific article; zbMATH DE number 1614717 (Why is no real title available?)
- The higher-order prover \textsc{Leo}-II
- MKRP
- KEIM
- OMEGA
- Omega-ANTS
- LOUI
- PROTEIN
- TRAMP
- P.rex
- Doris
- Bliksem
- Teyjus
- \textsc{LeoPARD} -- a generic platform for the implementation of higher-order reasoners
- scientific article; zbMATH DE number 1303338 (Why is no real title available?)
- scientific article; zbMATH DE number 1341621 (Why is no real title available?)
- scientific article; zbMATH DE number 1980938 (Why is no real title available?)
- scientific article; zbMATH DE number 1882065 (Why is no real title available?)
- Adimen-SUMO
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic
- Functions-as-constructors Higher-order Unification
- KI 2004: Advances in Artificial Intelligence
- Theorem Proving in Higher Order Logics
- Mechanizing Mathematical Reasoning
- Combining and automating classical and non-classical logics in classical higher-order logics
- TPS: A hybrid automatic-interactive system for developing proofs
- Computer supported mathematics with MEGA
- Combined reasoning by automated cooperation
This page was built for software: Leo
