Knuth–Bendix completion of theories of commuting group endomorphisms - Stump, Aaron; Löchner, Bernd (Information processing letters, 2006)
Keywords: Algorithmics. Computability. Computer arithmetics; Applied sciences; Automatic theorem proving; Automation; Computer science; control theory; systems; Decision procedures; Exact sciences and technology; Group theory; Group theory and generalizations; Knuth–Bendix completion; Logic and foundations; Mathematical logic, foundations, set theory; Mathematical models; Mathematics; Proof theory and constructive mathematics; Sciences and techniques of general use; Studies; Theoretical computing; Theory; Knuth–Bendix completion; Decision procedures; Automatic theorem proving; Group theory; Knuth Bendix completion; Computer theory; Theorem proving; Ordering; Automatic proving; Verification; Knuth-Bendix completion; Equational theory