Search results for: Matteo Viale
Bollettino dell'Unione Matematica Italiana > 2017 > 10 > 3 > 293-319
Archive for Mathematical Logic > 2016 > 55 > 1-2 > 295-317
Israel Journal of Mathematics > 2013 > 197 > 1 > 347-376
Advances in Mathematics > 2011 > 228 > 5 > 2672-2687
Information and Computation > 2003 > 185 > 2 > 211-232