Pierre Réty

	2007
17		Jacques Chabin, Pierre Réty: Visibly Pushdown Languages and Term Rewriting. FroCos 2007: 252-266
	2005
16		Pierre Réty, Julie Vuotto: Tree automata for rewrite strategies. J. Symb. Comput. 40(1): 749-794 (2005)
	2002
15		Pierre Réty, Julie Vuotto: Regular Sets of Descendants by Some Rewrite Strategies. RTA 2002: 129-143
14		Benoit Lecland, Pierre Réty: TTSLI: An Implementation of Tree-Tuple Synchronized Languages. RTA 2002: 376-379
13		Pierre Réty, Julie Vuotto: Regular Sets of Descendants by Leftmost Strategy. Electr. Notes Theor. Comput. Sci. 70(6): (2002)
	2001
12		Valérie Gouranton, Pierre Réty, Helmut Seidl: Synchronized Tree Languages Revisited and New Applications. FoSSaCS 2001: 214-229
11		Sébastien Limet, Pierre Réty, Helmut Seidl: Weakly Regular Relations and Applications. RTA 2001: 185-200
	1999
10		Pierre Réty: Regular Sets of Descendants for Constructor-Based Rewrite Systems. LPAR 1999: 148-160
9		Sébastien Limet, Pierre Réty: A New Result about the Decidability of the Existential One-Step Rewriting Theory. RTA 1999: 118-132
	1998
8		Sébastien Limet, Pierre Réty: Solving Disequations Modulo Some Class of Rewrite Systems. RTA 1998: 121-135
	1997
7		Sébastien Limet, Pierre Réty: E-Unification by Means of Tree Tuple Synchronized Grammars. TAPSOFT 1997: 429-440
6		Sébastien Limet, Pierre Réty: E-unification by means of tree tuple synchronized grammars. Discrete Mathematics & Theoretical Computer Science 1(1): 69-98 (1997)
	1996
5		Sébastien Limet, Pierre Réty: Conditional Directed Narrowing. AMAST 1996: 637-640
	1991
4		Jacques Chabin, Pierre Réty: Narrowing Directed by a Graph of Terms. RTA 1991: 112-123
	1989
3		Werner Nutt, Pierre Réty, Gert Smolka: Basic Narrowing Revisited. J. Symb. Comput. 7(3/4): 295-317 (1989)
	1987
2		Pierre Réty: Improving Basic Narrowing Techniques. RTA 1987: 228-241
	1985
1		Pierre Réty, Claude Kirchner, Hélène Kirchner, Pierre Lescanne: NARROWER: A New Algorithm for Unification and Its Application to Logic Programming. RTA 1985: 141-157

Coauthor Index

1	Jacques Chabin	[4] [17]
2	Valérie Gouranton	[12]
3	Claude Kirchner	[1]
4	Hélène Kirchner	[1]
5	Benoit Lecland	[14]
6	Pierre Lescanne	[1]
7	Sébastien Limet	[5] [6] [7] [8] [9] [11]
8	Werner Nutt	[3]
9	Helmut Seidl	[11] [12]
10	Gert Smolka	[3]
11	Julie Vuotto	[13] [15] [16]

Colors in the list of coauthors