Back to Results
First PageMeta Content
Logic in computer science / Mathematical logic / Theoretical computer science / Static program analysis / Termination analysis / Automated theorem proving / Prolog / Unification / Rewriting / Algorithm / Recursion / ECLiPSe


Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1
Add to Reading List

Document Date: 2014-05-16 12:08:08

Open Document

File Size: 431,36 KB

Share Result on Facebook