Treffer 1 – 4 von 4 für Suche 'Vrijer, Roel de', 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
    A geometric proof of confluence by decreasing diagrams

    A geometric proof of confluence by decreasing diagrams von Klop, Jan Willem 1945-, Oostrom, Vincent van, Vrijer, Roel de

    Veröffentlicht 2000
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Completing partial combinatory algebras with unique head normal forms

    Completing partial combinatory algebras with unique head normal forms von Bethke, Inge, Klop, Jan Willem 1945-, Vrijer, Roel de

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Unique normal forms for lambda calculus with surjective pairing

    Unique normal forms for lambda calculus with surjective pairing von Klop, Jan Willem 1945-, Vrijer, Roel de

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Surjective pairing and strong normalization two themes in lambda calculus

    Surjective pairing and strong normalization two themes in lambda calculus von Vrijer, Roel de

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: