scientific article; zbMATH DE number 778200

MaRDI QIDQ4840650zbMATH OpenFDO

Authors Karel Stokkermans

Publication date 16 April 1996

zbMATH Keywords

completioncritical pairscompleteness property

Mathematics Subject Classification ID

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

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)

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

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)