MPG.eBooks - Author Search Results

1

Reductive logic and proof-search : proof theory, semantics, and control

by Pym, David J.
Published 2004

Clarendon

Cover Image

2

The Semantics and Proof Theory of the Logic of Bunched Implications

by Pym, David J.
Published 2002

Springer Netherlands

Cover Image

3

Graphical Models for Security : 5th International Workshop, GraMSec 2018, Oxford, UK, July 8, 2018, Revised Selected Papers

Published 2019

Springer International Publishing

Other Authors: “...Pym, David...”

Cover Image

4

Economics of Information Security and Privacy

Published 2010

Springer US

Other Authors: “...Pym, David...”