Derivational Complexity of Knuth-Bendix Orders Revisited

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/11916277_6 ◽

2006 ◽

pp. 75-89 ◽

Cited By ~ 8

Author(s):

Georg Moser

Download Full-text