Fachartikel

Kategorie Fachartikel

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 ist Business Unit Director bei QAware. Er verantwortet den technischen Erfolg von Projekten im Bereich der IT-Sicherheit, unter[...]

Mehr Informationen
Alexander

Ähnliche Beiträge

Kategorie Fachartikel
Cloud-native Anwendungen bauen mit Spring Cloud und Netflix OSS
Josef Adersberger
Kategorie
Kategorie Fachartikel
Proof pearl: Regular expression equivalence and relation algebra
Alexander Krauss
Kategorie
Kategorie Fachartikel
Die besten ITK-Arbeitgeber – Bei QAware neben der Arbeit gemeinsam coden
Christian Kamm
Kategorie