![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Information and Computation, Volume 280
Volume 280, October 2021
- Johann Gamper, Sophie Pinchinat, Guido Sciavicco:
Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning. 104635 - Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten:
To drive or not to drive: A logical and computational analysis of European transport regulations. 104636 - Matteo Zavatteri
, Carlo Combi, Romeo Rizzi, Luca Viganò:
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way. 104637 - Michael Sioutis, Anastasia Paparrizou, Tomi Janhunen:
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning. 104638 - Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones:
Timed hyperproperties. 104639 - Laura Bozzelli, Angelo Montanari, Adriano Peron:
Complexity analysis of a unifying algorithm for model checking interval temporal logic. 104640 - Quentin Peyras, Julien Brunel, David Chemouil
:
A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic. 104641 - Akash Hossain, François Laroussinie:
QCTL model-checking with QBF solvers. 104642 - Przemyslaw Andrzej Walega, Michal Zawidzki
:
Subject-oriented spatial logic. 104643
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.