Thierry Heuillard

Publication Activity (10 Years)

Years Active: 1987-2001
Publications (10 Years): 0

Publications

Simon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray
A UML-integrated Test Description Language for Component Testing. pUML (2001)
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) (1990)
Max Dauchet, Sophie Tison, Thierry Heuillard, Pierre Lescanne
Decidability of the Confluence of Ground Term Rewriting Systems LICS (1987)
Thierry Heuillard
Compiling Conditional Rewriting Systems. CTRS (1987)