Carlo Nicolai

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 11

Top Topics

Cut Elimination

Owl Dl Ontologies

Top Venues

J. Philos. Log.

Rev. Symb. Log.

Publications