


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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














