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: Citkey="Emerson-Jutla/99"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

The complexity of tree automata and logics of programs Publikation auswählen
E. Allen Emerson, Charanjit S. Jutla

SIAM Journal on Computing 29 (1), 1999, pp. 132-158

Editors  M. Yannakakis
Publisher:  Society for Industrial and Applied Mathematics
Address:  Philadelphia, PA
 
Keywords:   complexity, tree automata, logics of programs, games
 
URL:   http://dx.doi.org/10.1137/S0097539793304741