Proving Termination of Programs Automatically with AProVE - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. Proving Termination of Programs Automatically with AProVE. In Stéphane Demri, Deepak Kapur, Christoph Weidenbach, editors, Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings. Volume 8562 of Lecture Notes in Computer Science, pages 184-191, Springer, 2014. [doi]

This author has not been identified. It may be one of the following persons:

Jürgen Giesl

Look up 'Jürgen Giesl' in GoogleThis author has not been identified. Look up 'Marc Brockschmidt' in GoogleThis author has not been identified. Look up 'Fabian Emmes' in GoogleThis author has not been identified. Look up 'Florian Frohn' in GoogleThis author has not been identified. Look up 'Carsten Fuhs' in GoogleThis author has not been identified. Look up 'Carsten Otto' in GoogleThis author has not been identified. Look up 'Martin Plücker' in GoogleThis author has not been identified. Look up 'Peter Schneider-Kamp' in GoogleThis author has not been identified. Look up 'Thomas Ströder' in GoogleThis author has not been identified. Look up 'Stephanie Swiderski' in GoogleThis author has not been identified. Look up 'René Thiemann' in Google

runs on WebDSL