Florent Jacquemard
2
Documents
Publications
- 2
- 2
- 1
- 1
|
Tree automata with equality constraints modulo equational theoriesJournal of Logic and Algebraic Programming, 2008, 75 (2), pp.182-208. ⟨10.1016/j.jlap.2007.10.006⟩
Article dans une revue
inria-00329693v1
|
|
Tree automata with equality constraints modulo equational theories3d International Joint Conference on Automated Reasoning (IJCAR), Aug 2006, Seattle, United States. pp.557-571, ⟨10.1007/11814771_45⟩
Communication dans un congrès
inria-00579011v1
|