nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Adding one or more equivalence relations to the interval temporal logic AB B ¯
|
Montanari, Angelo |
|
2016 |
629 |
C |
p. 116-134 19 p. |
artikel |
2 |
An efficient algorithm for generating symmetric ice piles
|
Mantaci, Roberto |
|
2016 |
629 |
C |
p. 96-115 20 p. |
artikel |
3 |
Editorial Board
|
|
|
2016 |
629 |
C |
p. iii-ix nvt p. |
artikel |
4 |
Exact algorithms for size constrained 2-clustering in the plane
|
Lin, Jianyi |
|
2016 |
629 |
C |
p. 80-95 16 p. |
artikel |
5 |
Graph easy sets of mute lambda terms
|
Bucciarelli, A. |
|
2016 |
629 |
C |
p. 51-63 13 p. |
artikel |
6 |
Graphs of edge-intersecting and non-splitting paths
|
Boyacı, Arman |
|
2016 |
629 |
C |
p. 40-50 11 p. |
artikel |
7 |
Recognizing 3-collapsing words over a binary alphabet
|
Cherubini, Alessandra |
|
2016 |
629 |
C |
p. 64-79 16 p. |
artikel |
8 |
Theoretical Computer Science in Italy
|
Bistarelli, Stefano |
|
2016 |
629 |
C |
p. 1- 1 p. |
artikel |
9 |
Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions
|
Bernardo, Marco |
|
2016 |
629 |
C |
p. 2-39 38 p. |
artikel |