Compact and tractable automaton-based representations of time granularities
From MaRDI portal
Publication:875518
DOI10.1016/j.tcs.2006.12.014zbMath1111.68053MaRDI QIDQ875518
Angelo Montanari, Gabriele Puppis, Ugo Dal Lago
Publication date: 13 April 2007
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2006.12.014
68P15: Database theory
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An algebraic representation of calendars
- Solving multi-granularity temporal constraint networks
- Fast Pattern Matching in Strings
- Representing and Reasoning about Temporal Granularities
- Temporalized logics and automata for time granularity
- Uniqueness Theorems for Periodic Functions
- Ultimately periodic words of rational ω-languages
- Theoretical Computer Science