Articles

Kategorie Articles

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

Ein Beitrag von
Alexander Krauss

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

Mehr Informationen
Alexander

Related posts

Kategorie Articles
Cloud-native Anwendungen. Der neue Stack:  Mesos, Kubernetes, Netflix OSS & Spring Cloud
Andreas Zitzelsberger
Kategorie
Kategorie Articles
How are Conceptual Models used in Industrial Software Development? A Descriptive Survey
Harald Störrle
Kategorie
Kategorie Articles
Data refinement in Isabelle/HOL
Alexander Krauss
Kategorie