Treffer 1 – 3 von 3 für Suche 'Matthes, Ralph', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Extensions of system F by iteration and primitive recursion on monotone inductive types

    Extensions of system F by iteration and primitive recursion on monotone inductive types von Matthes, Ralph

    Veröffentlicht 1999
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Extensions of System F by Iteration and primitive recursion on monotone inductive types

    Extensions of System F by Iteration and primitive recursion on monotone inductive types von Matthes, Ralph

    Veröffentlicht 1998
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    19th International Conference on Types for Proofs and Programs (TYPES 2013) TYPES 2013, April 22–26, 2013, Toulouse, France

    19th International Conference on Types for Proofs and Programs (TYPES 2013) TYPES 2013, April 22–26, 2013, Toulouse, France

    Veröffentlicht 2014
    Weitere Verfasser: “… Matthes, Ralph …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: