Login / Signup
Katrin M. Dannert
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 3
Top Topics
Fine Grained
Fixed Point Theorem
Owl Dl
Linear Logic
Top Venues
CoRR
CSL
Description Logic, Theory Combination, and All That
</>
Publications
</>