Alternation for Termination.

William R. Harris Akash Lal Aditya V. Nori Sriram K. Rajamani

Published in: SAS (2010)

Keyphrases

term rewriting
rewrite systems
information retrieval
website
feature extraction
type checking
database
data mining
artificial intelligence
high level
multiscale
reinforcement learning
management system
active rules
termination analysis