Julie Vuotto

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

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

2002

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

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

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

Coauthor Index