Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm

Data publikacji: 30 mar 2014

Zakres stron: 37 - 56

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

Słowa kluczowe

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)