Pages that link to "Item:Q875518"
From MaRDI portal
The following pages link to Compact and tractable automaton-based representations of time granularities (Q875518):
Displaying 7 items.
- A theory of ultimately periodic languages and automata with an application to time granularity (Q731330) (← links)
- Symbolic representation of user-defined time granularities (Q1601875) (← links)
- An algebraic representation of calendars (Q1604837) (← links)
- Representing and Reasoning about Temporal Granularities (Q4461352) (← links)
- Logics in Artificial Intelligence (Q5394149) (← links)
- Theoretical Computer Science (Q5897351) (← links)
- Maximum satisfiability of mission-time linear temporal logic (Q6536429) (← links)