Termination Casts: A Flexible Approach to Termination with General Recursion

Aaron Stump Vilhelm Sjöberg Stephanie Weirich

Published in: PAR (2010)

Keyphrases

special case
closely related
term rewriting
artificial intelligence
face recognition
medical images
rewrite systems
neural network
data mining
machine learning
information systems
high level
database systems
active rules
termination analysis