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="Kirsten-Richomme/01"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Decidability equivalence between the star problem and the finite power problem in trace monoids Publikation auswählen
D. Kirsten, G. Richomme

Theory of Computing Systems 34 (3), 2001, pp. 193-227

Publisher:  Springer-Verlag
Address:  New York
 
Note:   formerly Mathematical Systems Theory