Fatal Steps of Knuth-Bendix Completion. Nordic Journal of Computing.

Henrik Linnestad

Published in: Nord. J. Comput. (1996)

Keyphrases

knuth bendix
term rewriting
rewrite systems
function symbols
information systems
theorem prover
theorem proving
database
object oriented
business processes
spatial databases
answer set programming