Articles

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

Ein Beitrag von
Alexander Krauss

Alexander Krauss is a Business Unit Director at QAware. He is responsible for the technical success of projects in the[...]

Mehr Informationen
Alexander

Related posts

Kategorie Articles
Fachposter: Cloud-native Apps 2.0
Josef Adersberger
Kategorie
Kategorie Articles
Remote Collaboration – The Digital Woolen Twin
Silke Tautorat
Kategorie
Kategorie Articles
IOTA – the next generation of blockchain?
Moritz Kammerer
Kategorie