Search results
Axiomathes > 2015 > 25 > 1 > 61-77
Journal of Automated Reasoning > 2015 > 55 > 3 > 269-284
Journal of Logic, Language and Information > 2015 > 24 > 2 > 193-209
Studia Logica > 2015 > 103 > 2 > 303-344
Studia Logica > 2015 > 103 > 6 > 1185-1224
Studia Logica > 2015 > 103 > 6 > 1101-1121
Studia Logica > 2015 > 103 > 6 > 1225-1244
Zagadnienia Filozoficzne w Nauce > 2014 > 56 > 33-56
Annals of Pure and Applied Logic > 2014 > 165 > 2 > 652-672
Archive for Mathematical Logic > 2014 > 53 > 7-8 > 855-863
Journal of Philosophical Logic > 2014 > 43 > 2-3 > 549-577
Archive for Mathematical Logic > 2014 > 53 > 7-8 > 865-879
Siberian Mathematical Journal > 2014 > 55 > 1 > 118-124
Logica Universalis > 2014 > 8 > 1 > 25-60
computational complexity > 2014 > 23 > 4 > 637-669
Annals of Pure and Applied Logic > 2014 > 165 > 1 > 164-198
International Journal of Approximate Reasoning > 2014 > 55 > 1 Part 4 > 427-435
Studia Logica > 2014 > 102 > 6 > 1103-1142
Soft Computing > 2014 > 18 > 10 > 1873-1883