Login / Signup
Franco Parlamento
ORCID
Publication Activity (10 Years)
Years Active: 1990-2022
Publications (10 Years): 4
Top Topics
Sequent Calculus
Classical Logic
Cut Elimination
Wide Class
Top Venues
Rev. Symb. Log.
CoRR
Arch. Math. Log.
ICLA
</>
Publications
</>