Julie Vuotto

List of publications from the DBLP Bibliography Server - FAQ

2005

3 EE Pierre Réty, Julie Vuotto: Tree automata for rewrite strategies. J. Symb. Comput. 40(1): 749-794 (2005)

2002

2 EE Pierre Réty, Julie Vuotto: Regular Sets of Descendants by Some Rewrite Strategies. RTA 2002: 129-143

1 EE Pierre Réty, Julie Vuotto: Regular Sets of Descendants by Leftmost Strategy. Electr. Notes Theor. Comput. Sci. 70(6): (2002)

2005
3	EE	Pierre Réty, Julie Vuotto: Tree automata for rewrite strategies. J. Symb. Comput. 40(1): 749-794 (2005)
2002
2	EE	Pierre Réty, Julie Vuotto: Regular Sets of Descendants by Some Rewrite Strategies. RTA 2002: 129-143
1	EE	Pierre Réty, Julie Vuotto: Regular Sets of Descendants by Leftmost Strategy. Electr. Notes Theor. Comput. Sci. 70(6): (2002)

Coauthor Index