Search results for: Teodor Knapik
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2002 > Contributed Talks > 177-187
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > Session 8(b) > 331-342
Lecture Notes in Computer Science > ESOP '92 > 39-55
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2003 > Contributed Papers > 378-387
Lecture Notes in Computer Science > Automata, Languages and Programming > Model Theory and Model Checking > 1450-1461
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 253-267
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 205-222
Theoretical Computer Science > 2002 > 281 > 1-2 > 177-206
Journal of Automated Reasoning > 2002 > 28 > 4 > 337-369
Information Processing Letters > 1998 > 65 > 2 > 57-62
Theoretical Computer Science > 1995 > 139 > 1-2 > 275-314