Relaxing monotonicity for innermost termination.

Mirtha-Lina Fernández

Published in: Inf. Process. Lett. (2005)

Keyphrases

term rewriting
decision making
monotonicity constraints
monotonicity property
information retrieval
information systems
management system
type checking
database
data sets
three dimensional
lower bound
user interface
query processing
hidden markov models