Wyniki wyszukiwania
Fundamenta Informaticae > 2020 > Vol. 172, nr 1 > 1--38
Fundamenta Informaticae > 2019 > Vol. 166, nr 1 > 15--28
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 107-133
Journal of Logical and Algebraic Methods in Programming > 2015 > 84 > 6 > 742-762
Information and Computation > 2015 > 244 > C > 23-48
Journal of Computer and System Sciences > 2014 > 80 > 6 > 1119-1137
Fundamenta Informaticae > 2014 > Vol. 133, nr 4 > 323--344
Journal of Homotopy and Related Structures > 2012 > 7 > 2 > 281-298
IEEE Transactions on Magnetics > 2011 > 47 > 3 > 613 - 619
Journal of Logic and Algebraic Programming > 2010 > 79 > 7 > 550-577