gefundene Verfasser Vrijer, Roel de

Klop, Jan Willem 1945-
Vrijer, Roel de
Bethke, Inge
Oostrom, Vincent van
Vrijer, Roel C. de

Treffer 1 - 5 von 5 für Suche 'Vrijer, Roel de', Suchdauer: 1,48s Treffer weiter einschränken
  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

    Zu den Favoriten
    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

    Zu den Favoriten
    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

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Extended term rewriting systems

    Extended term rewriting systems von Klop, Jan Willem 1945-, Vrijer, Roel C. de

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: