Showing 1 - 12 results of 12 for search 'Guido Sciavicco', query time: 0.05s
Refine Results
-
1
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic by Davide Bresolin, Pietro Sala, Guido Sciavicco
Published 2010-06-01
Article -
2
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II) by Willem Conradie, Salih Durhan, Guido Sciavicco
Published 2020-04-01
Article -
3
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I) by Willem Conradie, Salih Durhan, Guido Sciavicco
Published 2018-06-01
Article -
4
On Sub-Propositional Fragments of Modal Logic by Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
Published 2018-06-01
Article -
5
Temporal Aspects in Air Quality Modeling—A Case Study in Wrocław by Joanna Kamińska, Estrella Lucena-Sánchez, Guido Sciavicco
Published 2020-12-01
Article -
6
On the Expressive Power of Sub-Propositional Fragments of Modal Logic by Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco
Published 2016-09-01
Article -
7
-
8
-
9
An Optimal Decision Procedure for MPNL over the Integers by Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco
Published 2011-06-01
Article -
10
-
11
-
12