Knuth-Bendix completion of theories of commuting group endomorphisms
type: Item
instance of: scholarly article
title: Knuth-Bendix completion of theories of commuting group endomorphisms
zbMATH Open document ID: 1187.68531
author: Aaron Stump
author: Bernd Löchner
published in: Information Processing Letters
publication date: 2010-01-18T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 5659928
zbMATH Keywords: Knuth-Bendix completion
zbMATH Keywords: group theory
zbMATH Keywords: decision procedures
zbMATH Keywords: automatic theorem proving
describes a project that uses: Waldmeister
describes a project that uses: AProVE
MaRDI profile type: Publication
full work available at URL: j.ipl.2006.01.009
OpenAlex ID: W1986426227
cites work: Q4804899
cites work: Justifying equality
cites work: Modular termination proofs for rewriting using dependency pairs
cites work: Q5581665
cites work: Q3150302
cites work: Term Rewriting and Applications
DOI: 10.1016/J.IPL.2006.01.009
Recommended article: On Commutative Continuation of Partial Endomorphisms of Groups
Recommended article: Completions of Grothendieck groups
Recommended article: The connective 𝐾-theory of finite groups
Recommended article: The completion theorem in \(K\)-theory for proper actions of a discrete group
Recommended article: The Group-Theoretic Analog of Kuratowski’s Closure-Complement Theorem
Recommended article: On the K-theory of groups with Finite Decomposition Complexity
Recommended article: Embeddability and Universal Theory of Partially Commutative Groups
Recommended article: Endomorphisms of complete Heyting algebras
Recommended article: The \(K\)-theory of \(p\)-compact groups
description: scientific article; zbMATH DE number 5659928