![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Information and Computation, Volume 278
Volume 278, June 2021
- Andrea Orlandini
, Martin Zimmermann
:
Preface. 104591 - A. R. Balasubramanian
:
Parameterized verification of coverability in infinite state broadcast networks. 104592 - Pietro Galliani:
Safe dependency atoms and possibility operators in team semantics. 104593 - Thomas Brihaye, Véronique Bruyère, Aline Goeminne, Jean-François Raskin:
Constrained existence problem for weak subgame perfect equilibria with ω-regular Boolean objectives. 104594 - Marcin Przybylko, Michal Skrzypczak:
The uniform measure of simple regular sets of infinite trees. 104595 - Alexander Weinert:
Quantitative reductions and vertex-ranked infinite games. 104596 - Éric Goubault, Jérémy Ledent
, Sergio Rajsbaum:
A simplicial complex model for dynamic epistemic logic to study distributed task computability. 104597 - Dana Angluin, Dana Fisman:
Regular ω-languages with an informative right congruence. 104598 - Luca Geatti
, Nicola Gigante
, Angelo Montanari, Mark Reynolds
:
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past. 104599
![](https://dblp.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.