Fachartikel

Kategorie Fachartikel

Partial and nested recursive function definitions in higher-order logic

 |  Alexander Krauss

In: Journal of Automated Reasoning (Alexander Krauss) 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
Finding lexicographic orders for termination proofs in Isabelle/HOL
Alexander Krauss
Kategorie
Kategorie Fachartikel
Partiality and recursion in interactive theorem provers: An overview
Alexander Krauss
Kategorie
Kategorie Fachartikel
Schluss mit „Hallo, hört ihr mich?“ – Telepräsenz-System individuell zusammengestellt
Kategorie