Treffer 1 – 5 von 5 für Suche 'Kristiansen, Lill', Suchdauer: 0,01s 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
    Total objects in inductively defined types

    Total objects in inductively defined types von Kristiansen, Lill, Normann, Dag

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Saturated automata applied to the star height problem

    Saturated automata applied to the star height problem von Kristiansen, Lill

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Yersinien im Abwasser quantitative und qualitative Untersuchungen in der Kieler Kanalisation

    Yersinien im Abwasser quantitative und qualitative Untersuchungen in der Kieler Kanalisation von Kristiansen, Lill Merethe

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Interpreting higher computations as types with totality

    Interpreting higher computations as types with totality von Kristiansen, Lill, Normann, Dag

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Regular languages and minimal saturated automata

    Regular languages and minimal saturated automata von Kristiansen, Lill

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: