Pages that link to "Item:Q1853115"
From MaRDI portal
The following pages link to A logical characterization of data languages. (Q1853115):
Displayed 7 items.
- A succinct canonical register automaton model (Q478388) (← links)
- On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
- An algebraic approach to data languages and timed languages (Q1398367) (← links)
- Nominal Automata for Resource Usage Control (Q2914700) (← links)
- CLASS COUNTING AUTOMATA ON DATAWORDS (Q3016221) (← links)
- An Automaton over Data Words That Captures EMSO Logic (Q3090829) (← links)
- Counting Multiplicity over Infinite Alphabets (Q3646259) (← links)