Church-Rosser Properties of Normal Rewriting.

Jean-Pierre Jouannaud Jianqi Li

Published in: CSL (2012)

Keyphrases

structural properties
desirable properties
databases
decision trees
real world
computer vision
knowledge base
case study
bayesian networks
learning environment
logic programs
structural features
topological properties
query rewriting
queries using views