scientific article; zbMATH DE number 778200

MaRDI QIDQ4840650zbMATH OpenFDO

Authors Karel Stokkermans

Publication date 16 April 1996

zbMATH Keywords

completeness propertycompletioncritical pairs

Mathematics Subject Classification ID

Modules, bimodules and ideals in associative algebras (16D99) Parallel algorithms in computer science (68W10)

Recommendations

• A categorical formulation for critical-pair/completion procedures
• scientific article; zbMATH DE number 3952003
• Critical pair criteria for completion
• On pot, pans and pudding or how to discover generalised critical pairs
• Declarative representation of algorithms of completion by critical pairs

Cited in

(7)

• A categorical critical-pair completion algorithm
• Declarative representation of algorithms of completion by critical pairs
• Knuth-Bendix completion for non-symmetric transitive relations
• scientific article; zbMATH DE number 3952003 (Why is no real title available?)
• On pot, pans and pudding or how to discover generalised critical pairs
• A categorical formulation for critical-pair/completion procedures
• How to delete categorically -- two pushout complement constructions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4840650)