Search results
Fundamenta Informaticae > 2019 > Vol. 165, nr 3-4 > 193--203
Annals of Pure and Applied Logic > 2017 > 168 > 1 > 72-111
Annals of Pure and Applied Logic > 2016 > 167 > 8 > 615-648
Lecture Notes in Computer Science > Computer Science – Theory and Applications > Theory Track > 30-39
Trends in Logic > Towards Mathematical Philosophy > 107-123
Annals of Pure and Applied Logic > 2014 > 165 > 7-8 > 1318-1338
Annals of Pure and Applied Logic > 2014 > 165 > 1 > 340-356
Annals of Pure and Applied Logic > 2012 > 163 > 9 > 1271-1298
Annals of Pure and Applied Logic > 2012 > 163 > 7 > 831-853
Annals of Pure and Applied Logic > 2009 > 161 > 3 > 368-387
Annals of Pure and Applied Logic > 2008 > 152 > 1-3 > 67-83
Annals of Mathematics and Artificial Intelligence > 2008 > 53 > 1-4 > 153-167