Accéder directement au contenu

Florent Jacquemard

2
Documents

Publications

laurent-vigneron
Image document

Tree automata with equality constraints modulo equational theories

Florent Jacquemard , Michael Rusinowitch , Laurent Vigneron
3d 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