Cited in
(11)- scientific article; zbMATH DE number 7204430 (Why is no real title available?)
- HOCL
- Deriving class
- Knuth Bendix Orders
- Markov Models
- Logtk
- Lambda Free RPOs
- Saturation_Framework
- Foundational (co)datatypes and (co)recursion for higher-order logic
- Formalizing Bachmair and Ganzinger's ordered resolution prover
- Robinson arithmetic
This page was built for software: Nested Multisets
