Accéder directement au contenu

Florent Jacquemard

1
Documents

Publications

sophie-tison
Image document

Tree Automata with Constraints: a brief survey

Emmanuel Filiot , Florent Jacquemard , Sophie Tison
Tree Transducers and Formal Methods (Dagstuhl Seminar 13192), May 2013, Wadern, Germany. pp.1-18, 2013
Document associé à des manifestations scientifiques hal-00840959v1