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="Althoff-Thomas-Wallmeier/06"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Observations on determinization of Büchi automata Publikation auswählen
Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier

Theoretical Computer Science 363 (2), 2006, pp. 224-233

Editors  G. Ausiello, D. Sannella
Publisher:  Elsevier B.V.
Address:  Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis
 
Keywords:   determinization, rabin, muller-schupp
 
URL:   http://www.sciencedirect.com/science/article/B6V1G-4KGWW6J-8/2/3875008538997e98207f86dc4a3256b3