Search results for: Tomasz Borzyszkowski
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Other Topics > 401-418
Theoretical Computer Science > 2002 > 286 > 2 > 197-245
Information Processing Letters > 2000 > 76 > 1-2 > 19-24