Knuth-Bendix completion of theories of commuting group endomorphisms

DOI10.1016/J.IPL.2006.01.009MaRDI QIDQ844197zbMATH OpenOpenAlexFDO

Authors Aaron Stump, Bernd Löchner

Publication date 18 January 2010

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2006.01.009

zbMATH Keywords

group theoryautomatic theorem provingdecision proceduresKnuth-Bendix completion

Mathematics Subject Classification ID

Recommendations

• On Commutative Continuation of Partial Endomorphisms of Groups
• Completions of Grothendieck groups
• The connective 𝐾-theory of finite groups
• The completion theorem in \(K\)-theory for proper actions of a discrete group
• The Group-Theoretic Analog of Kuratowski’s Closure-Complement Theorem
• Embeddability and Universal Theory of Partially Commutative Groups
• Endomorphisms of complete Heyting algebras
• The \(K\)-theory of \(p\)-compact groups

Cites work

• scientific article; zbMATH DE number 1809863 (Why is no real title available?)
• scientific article; zbMATH DE number 1903356 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Justifying equality
• Modular termination proofs for rewriting using dependency pairs
• Term Rewriting and Applications
• Term Rewriting and Applications

Cited in

(4)

• Multi-completion with Termination Tools (System Description)
• scientific article; zbMATH DE number 3870641 (Why is no real title available?)
• Encoding dependency pair techniques and control strategies for maximal completion
• Multi-completion with termination tools

Describes a project that uses

Uses Software

• Waldmeister
• AProVE

This page was built for publication: Knuth-Bendix completion of theories of commuting group endomorphisms

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