Tommaso Cortonesi

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Tommaso Cortonesi, Enrico Marchioni, Franco Montagna
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras. Notre Dame J. Formal Log. 52 (4) (2011)