Similar Items: Left-Linear Completion with AC Axioms
- A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time
- Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation
- A program for the full axiom of choice
- On The Axioms Of $mathcal{M},mathcal{N}$-Adhesive Categories
- Axioms for Modelling Cubical Type Theory in a Topos
- Linear Dependent Types and Relative Completeness