Termination of Rewriting with Local Strategies.

Olivier Fissore Isabelle Gnaedig Hélène Kirchner

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

Keyphrases

termination analysis
case study
real world
data structure
real time
artificial intelligence
artificial neural networks
conjunctive queries
search strategies
optimal strategy
queries using views