Search results
Journal of Applied Logic > 2016 > 15 > C > 94-129
Electronic Notes in Theoretical Computer Science > 2015 > 312 > Complete > 125-141
Mathematical Logic Quarterly > 59 > 3 > 177 - 200
Open Mathematics > 2010 > 8 > 1 > 41-52
Central European Journal of Mathematics > 2010 > 8 > 1 > 41-52
Open Mathematics > 2009 > 7 > 3 > 463-478
Central European Journal of Mathematics > 2009 > 7 > 3 > 463-478
Theoretical Computer Science > 2006 > 355 > 2 > 153-166
Applied Categorical Structures > 2005 > 13 > 3 > 265-280
Electronic Notes in Theoretical Computer Science > 2003 > 84 > Complete > 91-104