Infinitary rewriting and cyclic graphs.

Richard Kennaway

Published in: Electron. Notes Theor. Comput. Sci. (1995)

Keyphrases

queries using views
rewrite rules
rewriting rules
genetic algorithm
conjunctive queries
rewriting systems
computer vision
information technology
termination analysis