Wyniki wyszukiwania
Reports on Mathematical Logic > 2021 > Vol. 56 > 75--99
Bulletin of the Section of Logic > 2020 > 49 > 3 > 213-230
Archive for Mathematical Logic > 2019 > 58 > 5-6 > 627-634
Siberian Mathematical Journal > 2018 > 59 > 4 > 681-693
Siberian Mathematical Journal > 2018 > 59 > 1 > 179-188
Siberian Mathematical Journal > 2017 > 58 > 6 > 1042-1051
Studia Logica > 2019 > 107 > 1 > 53-83
Algebra and Logic > 2017 > 56 > 5 > 370-385
Siberian Mathematical Journal > 2016 > 57 > 6 > 1034-1043
Siberian Mathematical Journal > 2016 > 57 > 5 > 841-848
Annals of Pure and Applied Logic > 2013 > 164 > 6 > 740-748
Studia Logica > 2013 > 101 > 1 > 45-63
Studia Logica > 2011 > 99 > 1-3 > 249-267
Siberian Mathematical Journal > 2010 > 51 > 3 > 479-490
IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications... > 2007 > 37 > 6 > 1050 - 1066
Higher-Order and Symbolic Computation > 2007 > 20 > 4 > 403-429
Electronic Notes in Theoretical Computer Science > 2006 > 165 > Complete > 107-119
Theoretical Computer Science > 2006 > 360 > 1-3 > 193-208
Journal of Applied Logic > 2005 > 3 > 1 > 43-65
Studia Logica > 2004 > 78 > 3 > 417-442