scientific article

zbMath0538.68072MaRDI QIDQ3325075

Wolfgang Küchlin

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computational logicKnuth-Bendix algorithmresolution theorem-provingalgebraic abstract data type completion

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

Buchberger's algorithm: The term rewriter's point of view, History and basic features of the critical-pair/completion procedure, On pot, pans and pudding or how to discover generalised critical Pairs