Login / Signup
Jacob Thamsborg
Publication Activity (10 Years)
Years Active: 2009-2016
Publications (10 Years): 1
Top Topics
Binary Relations
Logical Representation
Coarse Grained
Modal Logic
Top Venues
J. Log. Algebraic Methods Program.
POPL
Inf. Comput.
Log. Methods Comput. Sci.
</>
Publications
</>