Accéder directement au contenu

Florent Jacquemard

1
Documents

Publications

896972
Image document

Closure of Tree Automata Languages under Innermost Rewriting

Adria Gascon , Guillem Godoy , Florent Jacquemard
8th International Workshop on Reduction Strategies in Rewriting and Programming (WRS), Jul 2008, Hagenberg, Austria. pp.23-38, ⟨10.1016/j.entcs.2009.03.033⟩
Communication dans un congrès inria-00578966v1