Search results for: Irène Durand
Lecture Notes in Computer Science > Rewriting Techniques and Applications > System Descriptions > 371-375
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 199-213
Theoretical Computer Science > 2016 > 619 > C > 32-67
Journal of Applied Logic > 2012 > 10 > 4 > 368-409
Electronic Notes in Theoretical Computer Science > 2005 > 124 > 2 > 29-49
Information and Computation > 2005 > 196 > 2 > 95-126