Accéder directement au contenu

Olivier Serre

1
Documents
Identifiants chercheurs

Présentation

Publications

marc-zeitoun
Image document

Tree Pattern Rewriting Systems

 Blaise Genest , Anca Muscholl , Olivier Serre , Marc Zeitoun
Automated Technology for Verification and Analysis, 2008, Séoul, South Korea. pp.332-346, ⟨10.1007/978-3-540-88387-6_29⟩
Communication dans un congrès hal-00344551v1