J. L. Moysset

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994

2 Denis Lugiez, J. L. Moysset: Tree Automata Help One To Solve Equational Formulae In AC-Theories. J. Symb. Comput. 18(4): 297-318 (1994)

1993

1 Denis Lugiez, J. L. Moysset: Complement Problems and Tree Automata in AC-like Theories (Extended Abstract). STACS 1993: 515-524

1994
2		Denis Lugiez, J. L. Moysset: Tree Automata Help One To Solve Equational Formulae In AC-Theories. J. Symb. Comput. 18(4): 297-318 (1994)
1993
1		Denis Lugiez, J. L. Moysset: Complement Problems and Tree Automata in AC-like Theories (Extended Abstract). STACS 1993: 515-524

Coauthor Index

1 Denis Lugiez [1] [2]