Generalized Innermost Rewriting.

Jaco van de Pol Hans Zantema

Published in: RTA (2005)

Keyphrases

conjunctive queries
real time
computational complexity
artificial neural networks
multiresolution
information systems
decision making
case study
image segmentation
multiscale
np complete
datalog programs
rewriting rules