Temporalized logics and automata for time granularity

From MaRDI portal

Revision as of 17:46, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4669652

Jump to:navigation, search

DOI10.1017/S147106840400208XzbMath1088.68105MaRDI QIDQ4669652

Angelo Montanari, Massimo Franceschet

Publication date: 15 April 2005

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (5)

Compact and tractable automaton-based representations of time granularities ⋮ Modelling temporal behaviour in complex systems with Timebands ⋮ Definability and decidability of binary predicates for time granularity ⋮ A timeband framework for modelling real-time systems ⋮ On the relationships between theories of time granularity and the monadic second-order theory of one successor

This page was built for publication: Temporalized logics and automata for time granularity

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4669652&oldid=18882660"