Infinitary Rewriting Coinductively.

Jörg Endrullis Andrew Polonsky

Published in: TYPES (2011)

Keyphrases

rewrite rules
rewriting rules
query rewriting
queries using views
conjunctive queries
real time
decision making
case study
website
evolutionary algorithm
datalog programs
rewriting systems
presburger arithmetic