Login / Signup
Giulia Manara
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Cut Elimination
Sequent Calculi
Proof Theoretic
Linear Time Temporal Logic
Top Venues
LPAR
</>
Publications
</>
Giulio Guerrieri
,
Giulia Manara
,
Lorenzo Tortora de Falco
,
Lionel Vaux Auclair
Confluence for Proof-Nets via Parallel Cut Elimination.
LPAR
(2024)