Fabio Pasquali

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 14

Top Topics

Sample Complexity

Quantifier Elimination

Highly Expressive

Logical Foundations

Top Venues

Appl. Categorical Struct.

Logica Universalis

Publications