C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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