Login / Signup
Infinitary rewriting: meta-theory and convergence.
Stefan Kahrs
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