Search results
Annals of Pure and Applied Logic > 2013 > 164 > 4 > 491-501
Theoretical Computer Science > 2013 > 474 > Complete > 98-116
Mathematical Logic Quarterly > 59 > 1‐2 > 66 - 83
Annals of Pure and Applied Logic > 2013 > 164 > 2 > 86-111
Archive for Mathematical Logic > 2013 > 52 > 7-8 > 759-778
Organon F. medzinárodný časopis pre analytickú filozofiu > 2013 > 20 > suppl. 2 > 5 – 36
Annals of Pure and Applied Logic > 2012 > 163 > 4 > 439-466
Annals of Pure and Applied Logic > 2012 > 163 > 2 > 111-121
Archive for Mathematical Logic > 2012 > 51 > 1-2 > 71-92
Journal of Logic, Language and Information > 2012 > 21 > 3 > 279-298
Lithuanian Mathematical Journal > 2012 > 52 > 1 > 1-12
Lithuanian Mathematical Journal > 2012 > 52 > 2 > 123-133
Fundamenta Informaticae > 2012 > Vol. 121, nr 1/4 > 1-41
Fundamenta Informaticae > 2012 > Vol. 121, nr 1/4 > 83-120
Information and Computation > 2011 > 209 > 12 > 1491-1503
Information and Computation > 2011 > 209 > 12 > 1447-1463
Information and Computation > 2011 > 209 > 12 > 1519-1535