Login / Signup
Proving Termination with (Boolean) Satisfaction.
Michael Codish
Published in:
LOPSTR (2007)
Keyphrases
</>
term rewrite systems
boolean functions
real valued
user satisfaction
customer satisfaction
real world
user information satisfaction
rewrite rules
service quality
three dimensional
website
image processing
information systems
mobile robot
data structure
case study
artificial intelligence
data sets