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

Research output: Contribution to journalResearch articleContributed

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