Special Issue "Termination".

Jürgen Giesl Pierre Lescanne

Published in: Appl. Algebra Eng. Commun. Comput. (2001)

Keyphrases

special issue
ai edam
international journal
ecml pkdd
special section
applied intelligence
term rewriting
rewrite systems
machine learning
decision making
active rules