Florent Jacquemard
2
Documents
Publications
- 2
- 2
- 1
- 1
|
Visibly Tree Automata with Memory and ConstraintsLogical Methods in Computer Science, 2008, 4 (2), ⟨10.2168/LMCS-4(2:8)2008⟩
Article dans une revue
inria-00578844v1
|
|
Tree Automata with Memory, Visibility and Structural Constraints10th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), Mar 2007, Braga, Portugal. pp.168-182, ⟨10.1007/978-3-540-71389-0_13⟩
Communication dans un congrès
inria-00579009v1
|