scientific article; zbMATH DE number 7340146

zbMATH Open1469.03045arXiv1210.2479MaRDI QIDQ4986512FDOQ4986512

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 of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders
• Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4986512)