Knuth-Bendix completion of theories of commuting group endomorphisms

DOI10.1016/J.IPL.2006.01.009zbMATH Open1187.68531OpenAlexW1986426227MaRDI QIDQ844197FDOQ844197

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

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

zbMATH Keywords

group theoryautomatic theorem provingdecision proceduresKnuth-Bendix completion

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Modular termination proofs for rewriting using dependency pairs
• Title not available (Why is that?)
• Term Rewriting and Applications
• Justifying equality
• Term Rewriting and Applications

Cited In (4)

• Multi-completion with Termination Tools (System Description)
• Title not available (Why is that?)
• Encoding dependency pair techniques and control strategies for maximal completion
• Multi-completion with termination tools

Uses Software

• AProVE
• Waldmeister

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)