Pages that link to "Item:Q1398367"
From MaRDI portal
The following pages link to An algebraic approach to data languages and timed languages (Q1398367):
Displaying 11 items.
- Nominal monoids (Q372971) (← links)
- On notions of regularity for data languages (Q846359) (← links)
- On the freeze quantifier in Constraint LTL: Decidability and complexity (Q868025) (← links)
- Automata for XML -- a survey (Q878749) (← links)
- Model checking memoryful linear-time logics over one-counter automata (Q974117) (← links)
- A study on shuffle, stopwatches and independently evolving clocks (Q1938360) (← links)
- Relating timed and register automata (Q2971073) (← links)
- Future-Looking Logics on Data Words and Trees (Q3182936) (← links)
- (Q4791839) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311161) (← links)
- A Note on C² Interpreted over Finite Data-Words (Q6060103) (← links)