Treffer 1 – 7 von 7 für Suche 'Pym, David J.', 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
    Reductive logic and proof-search proof theory, semantics, and control

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

    Veröffentlicht 2004
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert 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 von Pym, David J.

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert 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 von Pym, David J.

    Veröffentlicht 2002

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


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

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert 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

    Veröffentlicht 2019
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: