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

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

Fitting the topic

Kategorie News
Great Place to Work 2023 – Triple für QAware
2 min.
Rahel Gölz
Kategorie
Kategorie News
Wir rollen das 49€ Ticket für unser Team aus!
1 min.
Christian Kamm
Kategorie
Kategorie Podcasts
PRODcast Folge #14: FinTech-Produkte
2 min.
Ekkehard Schmider
Kategorie
Kategorie Articles
QAware gestaltet die Zukunft mit modernen Cloud-Technologien
2 min.
Michael Rohleder
Kategorie
Kategorie Lectures
Software-Entwicklungsumgebungen
1 min.
Josef Adersberger
Kategorie
Kategorie Talks
Steinzeit war gestern! Wege der Cloud-nativen Evolution
1 min.
Mario-Leander Reimer
Kategorie
Chatbot
Schliessen