search result

Cover von Semantic foundations of proof-search; 5
special issue : S. 633 - 800
Search for this author
Year: 2003
Publisher: Oxford, Oxford University Press
Count: 5
Media group: SPECIAL ISSUE
Cover von The semantics and proof theory of the logic of bunched implications
Author: Pym, David J. Search for this author
Year: 2002
Publisher: Dordrecht, Kluwer
Series: Applied logic series; 26
Media group: MONOGRAPHIE
Cover von Reductive logic and proof-search
proof theory, semantics, and control
Author: Pym, David J.; Ritter, Eike Search for this author
Year: 2004
Publisher: Oxford, Oxford University Press
Series: Oxford logic guides; 45
Media group: MONOGRAPHIE
Cover von Pomsets with Boxes

Pomsets with Boxes

Protection, Separation, and Locality in Concurrent Kleene Algebra
Year: 2020
Media group: LIPIcs
Cover von The Analytical and Topological Theory of Semigroups
Trends and Developments
Search for this author
Year: 1990
Publisher: Berlin, de Gruyter
Series: De Gruyter expositions in mathematics; 1
Media group: MONOGRAPHIE
Cover von Proof-search in type-theoretic languages; 1/2
S. 1-333
Search for this author
Year: 2000
Publisher: Amsterdam, Elsevier
Count: 1/2
Media group: SPECIAL ISSUE
Cover von Graphical Models for Security
5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers
Search for this author
Year: 2019
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11086
Media group: MONOGRAPHIE
Cover von Semantic foundations of proof-search
01.04. - 06.04.01, Seminar Nr. 01141
Search for this author
Year: 2001
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 303
Media group: DAGSTUHL-SEMINAR-REP
OPEN V 11.1.0.0