Learn More
1 Equational Proofs.- 1.1. Introduction.- 1.2. Terms.- 1.3. Equations.- 1.4. Orderings.- 1.5. Proofs.- 2 Standard Completion.- 2.1. Basic Completion.- 2.2. Proof Transformation.- 2.3. Proof(More)