Pattern Graph Rewrite Systems

Aleks Kissinger Alex Merry Matvey Soloviev

Published in: DCM (2012)

Keyphrases

rewrite systems
term rewriting
quantifier free
knuth bendix
artificial intelligence
relational databases
pattern discovery
data structure