Search results
Electronic Notes in Theoretical Computer Science > 2015 > 312 > Complete > 107-124
Theoretical Computer Science > 2018 > 706 > C > 83-116
Electronic Notes in Theoretical Computer Science > 2017 > 332 > C > 57-73
Electronic Notes in Theoretical Computer Science > 2016 > 323 > C > 181-196
Theoretical Computer Science > 2015 > 597 > Complete > 1-17
Procedia Computer Science > 2015 > 60 > C > 27-36
Information Sciences > 2014 > 282 > Complete > 296-320
Journal of Applied Logic > 2013 > 11 > 4 > 530-535
Annals of Pure and Applied Logic > 2013 > 164 > 6 > 618-650
Annals of Pure and Applied Logic > 2013 > 164 > 4 > 491-501
Theoretical Computer Science > 2013 > 474 > Complete > 98-116
Annals of Pure and Applied Logic > 2013 > 164 > 2 > 86-111
Annals of Pure and Applied Logic > 2012 > 163 > 4 > 439-466
Annals of Pure and Applied Logic > 2012 > 163 > 2 > 111-121
Information and Computation > 2011 > 209 > 12 > 1491-1503
Information and Computation > 2011 > 209 > 12 > 1447-1463
Information and Computation > 2011 > 209 > 12 > 1519-1535
Information and Computation > 2011 > 209 > 12 > 1465-1490
Theoretical Computer Science > 2011 > 412 > 39 > 5433-5445
Annals of Pure and Applied Logic > 2010 > 161 > 11 > 1400-1430