A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen

Beitragende

Details

OriginalspracheEnglisch
FachzeitschriftDiscrete Mathematics and Theoretical Computer Science
Ausgabenummer#3
PublikationsstatusVeröffentlicht - 2020
Peer-Review-StatusNein

Externe IDs

Scopus 85092299558

Schlagworte

Schlagwörter

  • Büchi-Elgot-Trakhtenbrot, automata, MSO