A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage
Research output: Contribution to journal › Research article › Contributed
Contributors
Details
Original language | English |
---|---|
Journal | Discrete Mathematics and Theoretical Computer Science |
Issue number | #3 |
Publication status | Published - 2020 |
Peer-reviewed | No |
External IDs
Scopus | 85092299558 |
---|
Keywords
Keywords
- Büchi-Elgot-Trakhtenbrot, automata, MSO