Knuth-Bendix Completion for Parametric Specifications with Conditional Equations.

Harald Ganzinger

Published in: ADT (1986)

Keyphrases

knuth bendix
term rewriting
operational semantics
rewrite systems
function symbols
high level
formal specification
artificial intelligence
database management systems
database
constraint satisfaction