Termination of Isabelle functions via termination of rewriting

 |  Alexander Krauss

In: Marko van Eekelen, Herman Geuvers, Julien Schmaltz, and Freek Wiedijk, editors, Interactive Theorem Proving (ITP 2011) (Alexander Krauss, Christian Sternagel, René Thiemann, Carsten Fuhs, and Jürgen Giesl) PDF

Alexander Krauss
A contribution from
Alexander Krauss

Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]

More informations
Alexander
Chatbot
Schliessen