Login / Signup
Eugenio Orlandelli
ORCID
Publication Activity (10 Years)
Years Active: 2013-2024
Publications (10 Years): 17
Top Topics
Sequent Calculi
Cut Elimination
Proof Theory
Guarded Fragment
Top Venues
Stud Logica
CoRR
ARQNL@IJCAR
TYPES
</>
Publications
</>