Fachartikel

Kategorie Fachartikel

Recursive definitions of monadic functions

 |  Alexander Krauss

In: Ana Bove, Ekaterina Komendantskaya, and Milad Niqui, editors, Workshop on Partiality and Recursion in Interactive Theorem Proving (PAR 2010) (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
QAware gestaltet die Zukunft mit modernen Cloud-Technologien
Arlette Beck
Kategorie
Kategorie Fachartikel
Cloud-Migration: Eine Strategie, die funktioniert
Andreas Zitzelsberger
Kategorie
Kategorie Fachartikel
Pattern minimization problems over recursive data types
Alexander Krauss
Kategorie