Loïc Allègre

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Theoretical Basis

Classical First Order Logic

Stochastic Dominance

Top Venues

Publications

Loïc Allègre, Ophélie Lacroix, Christian Retoré
A proof-theoretical approach to some extensions of first order quantification. CoRR (2024)