Vaughan Pratt

mini|Vaughan Pratt Vaughan Ronald Pratt (* 12. April 1944 in Melbourne) ist ein australischer Informatiker und Hochschullehrer. Veröffentlicht in Wikipedia
Treffer 1 – 18 von 18 für Suche 'Pratt, Vaughan', Suchdauer: 0,06s 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 near optimal method for reasoning about action

    A near optimal method for reasoning about action von Pratt, Vaughan, Pratt, Vaughan

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Dynamic algebras as a well-behaved fragment of relational algebras

    Dynamic algebras as a well-behaved fragment of relational algebras von Pratt, Vaughan

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Shellsort and sorting networks

    Shellsort and sorting networks von Pratt, Vaughan

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Semantical considerations on Floyd-Hoare logic

    Semantical considerations on Floyd-Hoare logic von Pratt, Vaughan

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Modelling concurrency with geometry

    Modelling concurrency with geometry von Pratt, Vaughan

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Some constructions for order-theoretic models of concurrency

    Some constructions for order-theoretic models of concurrency von Pratt, Vaughan

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    The Pomset model of parallel processes unifying the temporal and the spatial

    The Pomset model of parallel processes unifying the temporal and the spatial von Pratt, Vaughan

    Veröffentlicht 1985
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Shellsort and sorting networks

    Shellsort and sorting networks von Pratt, Vaughan

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Computability and completeness in logics of programs

    Computability and completeness in logics of programs von Harel, David 1950-, Pratt, Vaughan, Meyer, Albert R.

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Applications of modal logic to programming

    Applications of modal logic to programming von Pratt, Vaughan

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Shellsort and sorting networks

    Shellsort and sorting networks von Pratt, Vaughan R.

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Action logic and pure induction

    Action logic and pure induction von Pratt, Vaughan

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Dynamic algebras and the nature of induction

    Dynamic algebras and the nature of induction von Pratt, Vaughan

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Dynamic algebras examples, constuctions, applications

    Dynamic algebras examples, constuctions, applications von Pratt, Vaughan

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Nondeterminism in logics of programs

    Nondeterminism in logics of programs von Harel, David 1950-, Pratt, Vaughan

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Six lectures on dynamic logic ... given at the 3. Advanced Course on Foundations of Computer Science, at the Mathematisch Centrum, Amsterdam, August 21 - 25, 1978

    Six lectures on dynamic logic ... given at the 3. Advanced Course on Foundations of Computer Science, at the Mathematisch Centrum, Amsterdam, August 21 - 25, 1978 von Pratt, Vaughan

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    LISP

    LISP von Pratt, Vaughan

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    The mutual exclusion problem for unreliable processes

    The mutual exclusion problem for unreliable processes von Rivest, Ronald L., Pratt, Vaughan

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: