Login / Signup
Marta Gawek
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Action Models
Intuitionistic Logic
Sequent Calculus
Natural Deduction
Top Venues
WoLLIC
FSCD
J. Log. Lang. Inf.
Stud Logica
</>
Publications
</>