Infinitary rewriting: meta-theory and convergence.

Published in: Acta Informatica (2007)

Keyphrases

general theory
convergence rate
information retrieval
case study
special case
theoretical framework
domain knowledge
presburger arithmetic
algebraic structure
faster convergence
meta level
convergence speed
information theory
real time
decision trees
information systems
artificial intelligence
real world
data sets