Characterising Space Complexity Classes via Knuth-Bendix Orders.

Guillaume Bonfante Georg Moser

Published in: LPAR (Yogyakarta) (2010)

Keyphrases

knuth bendix
space complexity
term rewriting
rewrite systems
arc consistency
function symbols
worst case
worst case time complexity
logic programs
space requirements
class labels
relational databases
special case
operational semantics