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

Research output: Contribution to journal › Research article › Contributed

Contributors

Details

Original languageEnglish
JournalDiscrete Mathematics and Theoretical Computer Science
Issue number#3
Publication statusPublished - 2020
Peer-reviewedNo

External IDs

Scopus 85092299558

Keywords

Keywords

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