Abstract Rewriting.

Christian Sternagel René Thiemann

Published in: Arch. Formal Proofs (2010)

Keyphrases

high level
higher level
computer vision
information systems
rewrite rules
similarity measure
relational databases
conjunctive queries
datalog programs