Julie Vuotto

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

Publications

Pierre Réty, Julie Vuotto
Tree automata for rewrite strategies. J. Symb. Comput. 40 (1) (2005)
Pierre Réty, Julie Vuotto
Regular Sets of Descendants by Leftmost Strategy. Electron. Notes Theor. Comput. Sci. 70 (6) (2002)
Pierre Réty, Julie Vuotto
Regular Sets of Descendants by Some Rewrite Strategies. RTA (2002)