Showing 1 - 7 results of 7 for search 'Pym, David J.', query time: 0.04s 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
    Reductive logic and proof-search proof theory, semantics, and control

    Reductive logic and proof-search proof theory, semantics, and control by Pym, David J., Ritter, Eike

    Published 2004
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    The semantics and proof theory of the logic of bunched implications

    The semantics and proof theory of the logic of bunched implications by Pym, David J.

    Published 2002
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Proofs, search and computation in general logic

    Proofs, search and computation in general logic by Pym, David J.

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Reductive logic and proof-search proof theory, semantics, and control

    Reductive logic and proof-search proof theory, semantics, and control by Pym, David J., Ritter, Eike

    Published 2004
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    The Semantics and Proof Theory of the Logic of Bunched Implications

    The Semantics and Proof Theory of the Logic of Bunched Implications by Pym, David J.

    Published 2002

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  6. 6
    A unification algorithm for the lambda-pi-calculus

    A unification algorithm for the lambda-pi-calculus by Pym, David J.

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Graphical models for security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018 : revised selected papers

    Graphical models for security 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018 : revised selected papers

    Published 2019
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:

Search Tools: