Search results
Electronic Notes in Theoretical Computer Science > 2008 > 212 > Complete > 163-176
Electronic Notes in Theoretical Computer Science > 2008 > 203 > 1 > 3-17
Electronic Notes in Theoretical Computer Science > 2008 > 201 > Complete > 127-154
Theoretical Computer Science > 2008 > 391 > 3 > 216-238
Journal of Automated Reasoning > 2008 > 40 > 4 > 293-306
Electronic Notes in Theoretical Computer Science > 2007 > 193 > Complete > 61-79
Electronic Notes in Theoretical Computer Science > 2007 > 188 > Complete > 53-75
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 10 > 3-38
Electronic Notes in Theoretical Computer Science > 2007 > 177 > Complete > 35-57
Science of Computer Programming > 2007 > 66 > 2 > 162-180
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 1 > 35-47
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 1 > 83-98
BioSystems > 2007 > 87 > 2-3 > 281-288
Higher-Order and Symbolic Computation > 2007 > 20 > 3 > 295-318
Applied Categorical Structures > 2007 > 15 > 4 > 415-437
Journal of Symbolic Computation > 2006 > 41 > 8 > 887-904
Electronic Notes in Theoretical Computer Science > 2006 > 157 > 2 > 11-17
Journal of Logic and Algebraic Programming > 2006 > 66 > 2 > 239-270
Teksty Drugie (Second Texts) > 2006 > 5(101) > 36-54