Login / Signup
J. L. Moysset
Publication Activity (10 Years)
Years Active: 1993-1994
Publications (10 Years): 0
</>
Publications
</>
Denis Lugiez
,
J. L. Moysset
Tree Automata Help One To Solve Equational Formulae In AC-Theories.
J. Symb. Comput.
18 (4) (1994)
Denis Lugiez
,
J. L. Moysset
Complement Problems and Tree Automata in AC-like Theories (Extended Abstract).
STACS
(1993)