Search results for: Damian Niwiński
Lecture Notes in Computer Science > Automata, Languages and Programming > Model Theory and Model Checking > 1450-1461
Lecture Notes in Computer Science > TAPSOFT'93: Theory and Practice of Software Development > 266-281
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 253-267
Lecture Notes in Computer Science > STACS 98 > 320-331
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 205-222
Theory of Computing Systems > 2014 > 55 > 4 > 833-855
Open Mathematics > 2010 > 8 > 4 > 662-682
Information Processing Letters > 2010 > 110 > 10 > 396-398
Central European Journal of Mathematics > 2010 > 8 > 4 > 662-682
Theoretical Computer Science > 2006 > 352 > 1-3 > 190-196
Electronic Notes in Theoretical Computer Science > 2005 > 123 > Complete > 195-208