Login / Signup
Ivo Pezlar
ORCID
Publication Activity (10 Years)
Years Active: 2014-2024
Publications (10 Years): 8
Top Topics
Logical Formulas
Natural Language
Proof Search
Sequent Calculi
Top Venues
CoRR
Logica Universalis
WoLLIC
J. Log. Lang. Inf.
</>
Publications
</>