Login / Signup
Bernhard Heinemann
ORCID
Publication Activity (10 Years)
Years Active: 1994-2020
Publications (10 Years): 4
Top Topics
Global View
Implicit Knowledge
Topological Spaces
Modal Logic
Top Venues
KSEM
LFCS
J. Log. Comput.
WoLLIC
</>
Publications
</>