Costanza Larese

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Classical First Order Logic

Top Venues

Publications

Marcello D'Agostino, Fabio Aurelio D'Asaro, Costanza Larese
2021 Special Issue. FLAP 10 (3) (2023)
Marcello D'Agostino, Costanza Larese, Sanjay Modgil
Towards Depth-bounded Natural Deduction for Classical First-order Logic. FLAP 8 (2) (2021)