Login / Signup
Proving Termination of Programs Automatically with AProVE.
Jürgen Giesl
Marc Brockschmidt
Fabian Emmes
Florian Frohn
Carsten Fuhs
Carsten Otto
Martin Plücker
Peter Schneider-Kamp
Thomas Ströder
Stephanie Swiderski
René Thiemann
Published in:
IJCAR (2014)
Keyphrases
</>
automatically generated
automatic programming
expert systems
term rewriting
term rewrite systems
learning algorithm
artificial intelligence
feature selection
objective function
multi agent systems
semi automatically