Termination of Isabelle Functions via Termination of Rewriting - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexander Krauss, Christian Sternagel, René Thiemann, Carsten Fuhs, Jürgen Giesl. Termination of Isabelle Functions via Termination of Rewriting. In Marko C. J. D. van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk, editors, Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings. Volume 6898 of Lecture Notes in Computer Science, pages 152-167, Springer, 2011. [doi]

This author has not been identified. Look up 'Alexander Krauss' in GoogleThis author has not been identified. Look up 'Christian Sternagel' in GoogleThis author has not been identified. Look up 'René Thiemann' in GoogleThis author has not been identified. Look up 'Carsten Fuhs' in GoogleThis author has not been identified. Look up 'Jürgen Giesl' in Google

runs on WebDSL