Sehen Sie sich unsere  Cloud-Native-Studie 2024  an.
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 Lectures
Software Engineering II
Dr. Josef Adersberger
Kategorie
Kategorie Articles
Partial recursive functions in higher-order logic
Alexander Krauss
Kategorie
Kategorie Articles
Imperative functional programming in Isabelle/HOL
Alexander Krauss
Kategorie