Login / Signup
Orderings for Innermost Termination.
Mirtha-Lina Fernández
Guillem Godoy
Albert Rubio
Published in:
RTA (2005)
Keyphrases
</>
machine learning
expert systems
rewrite systems
databases
real world
type checking
term rewriting
data sets
three dimensional
objective function
rough sets
active rules