Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Author="Vuotto, Julie"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Tree automata for rewrite strategies Publikation auswählen
Pierre Réty, Julie Vuotto

Journal Symbolic Computation 40 (1), 2005, pp. 749-794

Editors  Hoon Hong
Publisher:  Elsevier B.V.
Address:  Amsterdam-San Diego-Orlando-Tokyo-Singapore
 
Keywords:   term rewriting, strategy, tree automaton
 
URL:   http://dx.doi.org/10.1016/j.jsc.2004.12.008