Journal article
Knuth–Bendix completion of theories of commuting group endomorphisms
Information processing letters, Vol.98(5), pp.195-198
2006
DOI: 10.1016/j.ipl.2006.01.009
Abstract
Knuth–Bendix completions of the equational theories of
k
⩾
2
commuting group endomorphisms are obtained, using automated theorem proving and modern termination checking. This improves on modern implementations of completion, where the orderings implemented cannot orient the commutation rules. The result has applications in decision procedures for automated verification.
Details
- Title: Subtitle
- Knuth–Bendix completion of theories of commuting group endomorphisms
- Creators
- Aaron Stump - Washington University in St. LouisBernd Löchner - University of Kaiserslautern
- Resource Type
- Journal article
- Publication Details
- Information processing letters, Vol.98(5), pp.195-198
- Publisher
- Elsevier B.V
- DOI
- 10.1016/j.ipl.2006.01.009
- ISSN
- 0020-0190
- eISSN
- 1872-6119
- Language
- English
- Date published
- 2006
- Academic Unit
- Computer Science
- Record Identifier
- 9984259419602771
Metrics
11 Record Views