swMATH28584MaRDI QIDQ40298FDOQ40298
Author name not available (Why is that?)
Official website: https://www.isa-afp.org/entries/Lambda_Free_KBOs.html
Cited In (13)
- Formalization of the resolution calculus for first-order logic
- Title not available (Why is that?)
- HOCL
- theoremprover-museum
- Abstract Completeness
- Deriving class
- Abstract Soundness
- Incompleteness Theorems
- Markov Models
- Lambda Free RPOs
- Incredible Proof Machine
- Nested Multisets
- Foundational (co)datatypes and (co)recursion for higher-order logic
This page was built for software: Knuth Bendix Orders
