Login / Signup

Filippo Ferrari

ORCID

Publication Activity (10 Years)

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

Top Topics

Cut Elimination
Default Reasoning
Cognitive Science
Proof Theoretic

Top Venues

Synth.
Publications