Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm.

Grzegorz Bancerek

Published in: Formaliz. Math. (2014)

Keyphrases

knuth bendix
search space
query answering
space complexity