scientific article; zbMATH DE number 7340146

zbMath1469.03045arXiv1210.2479MaRDI QIDQ4986512

Pietro Sala, Angelo Montanari, Guido Sciavicco, Dario Della Monica, Davide Bresolin

Publication date: 27 April 2021

Full work available at URL: https://arxiv.org/abs/1210.2479

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items

Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations ⋮ On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders