Orderings and Constraints: Theory and Practice of Proving Termination.

Cristina Borralleras Albert Rubio

Published in: Rewriting, Computation and Proof (2007)

Keyphrases

theoretical framework
constraint satisfaction
general theory
theoretical insights
data mining
theoretical frameworks
term rewrite systems
database
information retrieval
knowledge base
case study
multiscale
co occurrence
constraint satisfaction problems
information theory