|
Search the dblp DataBase
Thierry Heuillard:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Thierry Heuillard
Compiling Conditional Rewriting Systems. [Citation Graph (0, 0)][DBLP] CTRS, 1987, pp:111-128 [Conf]
- Max Dauchet, Sophie Tison, Thierry Heuillard, Pierre Lescanne
Decidability of the Confluence of Ground Term Rewriting Systems [Citation Graph (0, 0)][DBLP] LICS, 1987, pp:353-359 [Conf]
- Simon Pickin, Claude Jard, Thierry Heuillard, Jean-Marc Jézéquel, Philippe Desfray
A UML-integrated Test Description Language for Component Testing. [Citation Graph (0, 0)][DBLP] pUML, 2001, pp:208-223 [Conf]
- 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 [Citation Graph (0, 0)][DBLP] Inf. Comput., 1990, v:88, n:2, pp:187-201 [Journal]
Search in 0.001secs, Finished in 0.001secs
|