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