Search results for: Paulo Oliva
Mathematical Logic Quarterly > 66 > 1 > 91 - 98
Annals of Pure and Applied Logic > 2017 > 168 > 5 > 887-921
Formal Aspects of Computing > 2013 > 25 > 3 > 345-363
Mathematical Logic Quarterly > 58 > 4‐5 > 356 - 265
Annals of Pure and Applied Logic > 2012 > 163 > 8 > 1030-1049
Annals of Pure and Applied Logic > 2012 > 163 > 6 > 681-692
Mathematical Logic Quarterly > 56 > 6 > 591 - 610
Information and Computation > 2010 > 208 > 5 > 565-577
Mathematical Logic Quarterly > 56 > 1 > 13 - 28
Annals of Pure and Applied Logic > 2007 > 145 > 2 > 115-129
Annals of Pure and Applied Logic > 2005 > 135 > 1-3 > 73-112
Annals of Pure and Applied Logic > 2003 > 121 > 1 > 1-38