Login / Signup
Peter Brottveit Bock
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Coalition Logic
Contextual Information
Higher Order Logic
Logical Framework
Top Venues
LPAR
</>
Publications
</>
Peter Brottveit Bock
,
Carsten Schürmann
A Contextual Logical Framework.
LPAR
(2015)