Search results
Journal of Philosophical Logic > 2019 > 48 > 3 > 447-469
Journal of Algebra > 2017 > 492 > C > 185-211
Lecture Notes in Computer Science > Logic, Language, Information and Computation > Contributed Papers > 72-83
Studia Logica > 2016 > 104 > 6 > 1287-1317
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 396-418
computational complexity > 2014 > 23 > 4 > 637-669
Open Mathematics > 2011 > 9 > 5 > 1185-1191
Central European Journal of Mathematics > 2011 > 9 > 5 > 1185-1191
Studia Logica > 2011 > 98 > 3 > 331-345