![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Theoretical Computer Science, Volume 629
Volume 629, May 2016
- Stefano Bistarelli
, Andrea Formisano:
Theoretical Computer Science in Italy. 1
- Marco Bernardo
, Flavio Corradini, Luca Tesei
:
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions. 2-39 - Arman Boyaci, Tínaz Ekim
, Mordechai Shalom
, Shmuel Zaks:
Graphs of edge-intersecting and non-splitting paths. 40-50 - Antonio Bucciarelli, Alberto Carraro
, Giordano Favro, Antonino Salibra:
Graph easy sets of mute lambda terms. 51-63 - Alessandra Cherubini, Andrzej Kisielewicz:
Recognizing 3-collapsing words over a binary alphabet. 64-79 - Jianyi Lin
, Alberto Bertoni, Massimiliano Goldwurm:
Exact algorithms for size constrained 2-clustering in the plane. 80-95 - Roberto Mantaci, Paolo Massazza, Jean-Baptiste Yunès:
An efficient algorithm for generating symmetric ice piles. 96-115 - Angelo Montanari, Marco Pazzaglia, Pietro Sala
:
Adding one or more equivalence relations to the interval temporal logic. 116-134
![](https://dblp.org/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.