J. L. Moysset

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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]