| 2001 |
|---|
| 4 | | Simon Pickin,
Claude Jard,
Thierry Heuillard,
Jean-Marc Jézéquel,
Philippe Desfray:
A UML-integrated Test Description Language for Component Testing.
pUML 2001: 208-223 |
| 1990 |
|---|
| 3 | | Max Dauchet,
Thierry Heuillard,
Pierre Lescanne,
Sophie Tison:
Decidability of the Confluence of Finite Ground Term Rewrite Systems and of Other Related Term Rewrite Systems
Inf. Comput. 88(2): 187-201 (1990) |
| 1987 |
|---|
| 2 | | Thierry Heuillard:
Compiling Conditional Rewriting Systems.
CTRS 1987: 111-128 |
| 1 | | Max Dauchet,
Sophie Tison,
Thierry Heuillard,
Pierre Lescanne:
Decidability of the Confluence of Ground Term Rewriting Systems
LICS 1987: 353-359 |
