<abstract xmlns="http://www.w3.org/1999/xhtml"><p> Educational content for abstract reduction systems concerning reduction, convertibility, normal forms, divergence and convergence, Church- Rosser property, term rewriting systems, and the idea of the Knuth-Bendix Completion Algorithm. The theory is based on [1].</p></abstract>

Educational content for abstract reduction systems concerning reduction, convertibility, normal forms, divergence and convergence, Church- Rosser property, term rewriting systems, and the idea of the Knuth-Bendix Completion Algorithm. The theory is based on [1].

Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm

Association of Mizar Users Białystok, Poland

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License. (CC BY-SA 3.0)

{"article-title":"Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm"}

Educational content for abstract reduction systems concerning reduction, convertibility, normal forms, divergence and convergence, Church- Rosser property,...

Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm

Published Online: Mar 30, 2014

Page range: 37 - 56

DOI: https://doi.org/10.2478/forma-2014-0005

Keywords
abstract reduction systems, Knuth-Bendix algorithm

© by Grzegorz Bancerek

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License. (CC BY-SA 3.0)

Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm

Published Online: Mar 30, 2014

Page range: 37 - 56

DOI: https://doi.org/10.2478/forma-2014-0005

Keywordsabstract reduction systems, Knuth-Bendix algorithm

© by Grzegorz Bancerek

This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License. (CC BY-SA 3.0)

Keywords
abstract reduction systems, Knuth-Bendix algorithm