The following pages link to Theoretical Computer Science (Q5897351):
Displaying 5 items.
- A theory of ultimately periodic languages and automata with an application to time granularity (Q731330) (← links)
- Compact and tractable automaton-based representations of time granularities (Q875518) (← links)
- An algebraic representation of calendars (Q1604837) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- Logics in Artificial Intelligence (Q5394149) (← links)