Diagrammatic Confluence and Completion.

Jean-Pierre Jouannaud Vincent van Oostrom

Published in: ICALP (2) (2009)

Keyphrases

rewrite systems
knuth bendix
training data
databases
feature selection
high quality
logic programs
term rewriting