A Formalization of Weighted Path Orders and Recursive Path Orders
From MaRDI portal
- An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
- Automating the Knuth Bendix ordering
- Certification of Termination Proofs Using CeTA
- Certifying the weighted path order (invited talk)
- Extensions and comparison of simplification orderings
- Formalizing Knuth-Bendix orders and Knuth-Bendix completion
- Unnamed Publication
- KBO orientability
- On the formalization of termination techniques based on multiset orderings
- Termination of rewriting
Cited in
(3)
This page was built for software: A Formalization of Weighted Path Orders and Recursive Path Orders
