Kategorie Fachartikel

Finding lexicographic orders for termination proofs in Isabelle/HOL

 |  Alexander Krauss

In: K. Schneider and J. Brandt, editors, Theorem Proving in Higher Order Logics (TPHOLs 2007) (Lukas Bulwahn, Alexander Krauss, and Tobias Nipkow) PDF

Alexander Krauss
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

Passend zum Thema

Kategorie News
Great Place to Work 2023 – Triple für QAware
2 min.
Kategorie
Kategorie News
Wir rollen das 49€ Ticket für unser Team aus!
1 min.
Kategorie
Kategorie Podcasts
PRODcast Folge #14: FinTech-Produkte
2 min.
Ekkehard Schmider
Kategorie
Kategorie Fachartikel
QAware gestaltet die Zukunft mit modernen Cloud-Technologien
2 min.
Michael Rohleder
Kategorie
Kategorie Vorlesungen
DV-Anwendungen im Software Engineering
1 min.
Johannes Weigend
Kategorie
Kategorie Fachartikel
Kann man die Benutzerfreundlichkeit von Text messen?
1 min.
Andreas Zitzelsberger
Kategorie
Chatbot
Schliessen