GETFOL
From MaRDI portal
Cited in
(14)- A theory of abstraction
- Multilanguage hierarchical logics, or: How we can do without modal logics
- Embedding complex decision procedures inside an interactive theorem prover.
- Program tactics and logic tactics
- BREAKUP
- Structured proof procedures
- Partition-based logical reasoning for first-order and propositional theories
- A metatheory of a mechanized object theory
- SPTHEO
- ABSFOL
- Cambridge LCF
- Mechanizing multi-agent reasoning with belief contexts
- ABSFOL: A proof checker with abstraction
- Logic-based subsumption architecture
This page was built for software: GETFOL
