On the use of guards for logics with data
The notion of orbit finite data monoid was recently introduced by Bojanczyk as an algebraic object for defining recognizable languages of data words. Following Büchi’s approach, we introduce the new logic ‘rigidly guarded MSO’ and show that the data languages definable in this logic are exactly thos...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
2011
|