Search results for: Isabelle Gnaedig
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 249-260
Lecture Notes in Computer Science > CAAP '88 > 165-184
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 386-397
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Theories of Programming and Programming Languages > 356-371
Lecture Notes in Computer Science > Rewriting, Computation and Proof > Rewriting Foundations > 44-67
Theoretical Computer Science > 2011 > 412 > 34 > 4405-4438
Electronic Notes in Theoretical Computer Science > 2004 > 71 > Complete > 169-188
Electronic Notes in Theoretical Computer Science > 2001 > 58 > 2 > 155-188
Electronic Notes in Theoretical Computer Science > 2000 > 36 > Complete > 93-120