Circular Coinductive Rewriting.

Joseph A. Goguen Kai Lin Grigore Rosu

Published in: ASE (2000)

Keyphrases

hough transform
query rewriting
conjunctive queries
rewrite rules
information retrieval
harmonic functions
rewriting rules
databases
image processing
microstrip antenna
data sets
query language
computational complexity
case study
decision making
search engine
data mining