Treffer 1 – 7 von 7 für Suche 'Vries, Fer-Jan de', Suchdauer: 0,03s 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 functional program for Gaussian elimination

    A functional program for Gaussian elimination von Vries, Fer-Jan de

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A sound and complete calculus for update logic

    A sound and complete calculus for update logic von Eijck, Jan van 1951-, Vries, Fer-Jan de

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Dynamic interpretation and Hoare deduction

    Dynamic interpretation and Hoare deduction von Eijck, Jan van 1951-, Vries, Fer-Jan de

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Strong completeness for Hoare logics of recursive processes an infinitary approach

    Strong completeness for Hoare logics of recursive processes an infinitary approach von Ponse, Alban, Vries, Fer-Jan de

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Applications of constructive logic to sheaf constructions in toposes paper corresponding to the talk delivered at the Category Conference of Louvain-la-Neuve, summer 1987

    Applications of constructive logic to sheaf constructions in toposes paper corresponding to the talk delivered at the Category Conference of Louvain-la-Neuve, summer 1987 von Vries, Fer-Jan de

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Reasoning about update logic

    Reasoning about update logic von Eijck, Jan van 1951-, Vries, Fer-Jan de

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Type theoretical topics in topos theory

    Type theoretical topics in topos theory von Vries, Fer-Jan de

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: