Search results for: Mathieu Turuani
Journal of Symbolic Computation > 2017 > 80 > P1 > 4-26
Journal of Symbolic Computation > 2017 > 80 > P1 > 27-61
Lecture Notes in Computer Science > The Future Internet > Future Internet Foundations: Security and Trust > 193-207
Lecture Notes in Computer Science > FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 124-135
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 6. System Descriptions > 277-286
Lecture Notes in Computer Science > Formal to Practical Security > Formal to Practical Security > 21-32
Theoretical Computer Science > 2006 > 367 > 1-2 > 33-56
Theoretical Computer Science > 2005 > 338 > 1-3 > 247-274
Electronic Notes in Theoretical Computer Science > 2005 > 125 > 1 > 55-66
Theoretical Computer Science > 2003 > 299 > 1-3 > 451-475