Proving Termination by Bounded Increase - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jürgen Giesl, René Thiemann, Stephan Swiderski, Peter Schneider-Kamp. Proving Termination by Bounded Increase. In Frank Pfenning, editor, Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings. Volume 4603 of Lecture Notes in Computer Science, pages 443-459, Springer, 2007. [doi]

Identified as Jürgen Giesl This author has not been identified. Look up 'René Thiemann' in GoogleThis author has not been identified. Look up 'Stephan Swiderski' in GoogleThis author has not been identified. Look up 'Peter Schneider-Kamp' in Google

runs on WebDSL