Vaughan Pratt

Vaughan Pratt (born April 12, 1944) is a Professor Emeritus at Stanford University, who was an early pioneer in the field of computer science. Since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing. More recently, his research has focused on formal modeling of concurrent systems and Chu spaces. Provided by Wikipedia
Showing 1 - 18 results of 18 for search 'Pratt, Vaughan', query time: 0.05s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    A near optimal method for reasoning about action

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

    Published 1978
    Book Interlibrary loan Place Request


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

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

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Shellsort and sorting networks

    Shellsort and sorting networks by Pratt, Vaughan

    Published 1979
    Book Interlibrary loan Place Request


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

    Semantical considerations on Floyd-Hoare logic by Pratt, Vaughan

    Published 1976
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Modelling concurrency with geometry

    Modelling concurrency with geometry by Pratt, Vaughan

    Published 1990
    Book Interlibrary loan Place Request


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

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

    Published 1985
    Book Interlibrary loan Place Request


    Saved 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 by Pratt, Vaughan

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Shellsort and sorting networks

    Shellsort and sorting networks by Pratt, Vaughan

    Published 1979
    Book Interlibrary loan Place Request


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

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

    Published 1978
    Book Interlibrary loan Place Request


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

    Applications of modal logic to programming by Pratt, Vaughan

    Published 1978
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Shellsort and sorting networks

    Shellsort and sorting networks by Pratt, Vaughan R.

    Published 1972
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Action logic and pure induction

    Action logic and pure induction by Pratt, Vaughan

    Published 1990
    Book Interlibrary loan Place Request


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

    Dynamic algebras and the nature of induction by Pratt, Vaughan

    Published 1980
    Book Interlibrary loan Place Request


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

    Dynamic algebras examples, constuctions, applications by Pratt, Vaughan

    Published 1979
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Nondeterminism in logics of programs

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

    Published 1978
    Book Interlibrary loan Place Request


    Saved 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 by Pratt, Vaughan

    Published 1978
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    LISP

    LISP by Pratt, Vaughan

    Published 1977
    Book Interlibrary loan Place Request


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

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

    Published 1977
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: