Check out our  Cloud-Native-Study 2024.
Kategorie Articles

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

Fitting the topic

Kategorie News
Great Place to Work 2023 – Triple für QAware
Rahel Gölz
Kategorie
Kategorie News
Wir rollen das 49€ Ticket für unser Team aus!
QAware
Kategorie
Kategorie Articles
QAware gestaltet die Zukunft mit modernen Cloud-Technologien
Michael Rohleder
Kategorie
Kategorie Articles
Komplexe Web-Anwendungen mit Struts
Christian Kamm
Kategorie
Kategorie Lectures
Design Patterns und Antipatterns
Dr. Josef Adersberger
Kategorie
Kategorie Articles
Einschränkungen und Konsistenzbedingungen bei der Entwicklung einer Softwarearchitektur
Dr. Josef Adersberger
Kategorie