Search results

ukb

Equational reasoning based on the unfailing Knuth-Bendix completion procedure

• equations
• reasoning
• Knuth-Bendix
• completion
• rewriting

mafu

published 1.2.1 • a year agopublished 1.2.1 a year ago