Treffer 1 - 3 von 3 für Suche 'Sudhof, Henry', Suchdauer: 0,73s Treffer weiter einschränken
  1. 1
    A formalization of typed aspects for the sigma-calculus in Isabelle/HOL

    A formalization of typed aspects for the sigma-calculus in Isabelle/HOL von Kammüller, Florian, Sudhof, Henry

    Veröffentlicht 2007
    kostenfrei
    Volltext
    Volltext
    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A mechanized theory of aspects

    A mechanized theory of aspects von Sudhof, Henry

    Veröffentlicht 2010
    kostenfrei
    Abschlussarbeit Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A formalization of typed aspects for the s-calculus [sigma-calculus] in Isabelle, HOL

    A formalization of typed aspects for the s-calculus [sigma-calculus] in Isabelle, HOL von Kammüller, Florian, Sudhof, Henry

    Veröffentlicht 2007
    kostenfrei
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: