Login / Signup

Dominik Kulesza

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Trade Off
Information Extraction
Logical Framework

Top Venues

Formaliz. Math.
Publications