nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Alternating space is closed under complement and other simulations for sublogarithmic space
|
Geffert, Viliam |
|
2017 |
253 |
P1 |
p. 163-178 16 p. |
artikel |
2 |
Brudno's theorem for Z d (or Z + d ) subshifts
|
Fuda, Toru |
|
2017 |
253 |
P1 |
p. 155-162 8 p. |
artikel |
3 |
Deciding game invariance
|
Duchêne, Eric |
|
2017 |
253 |
P1 |
p. 127-142 16 p. |
artikel |
4 |
Diagonally non-computable functions and fireworks
|
Bienvenu, Laurent |
|
2017 |
253 |
P1 |
p. 64-77 14 p. |
artikel |
5 |
Editorial Board
|
|
|
2017 |
253 |
P1 |
p. IFC- 1 p. |
artikel |
6 |
Editorial Board
|
|
|
2017 |
253 |
P1 |
p. i- 1 p. |
artikel |
7 |
Further remarks on DNA overlap assembly
|
Enaganti, Srujan Kumar |
|
2017 |
253 |
P1 |
p. 143-154 12 p. |
artikel |
8 |
Modeling concurrency with interval traces
|
Janicki, Ryszard |
|
2017 |
253 |
P1 |
p. 78-108 31 p. |
artikel |
9 |
On the state complexity of operations on two-way finite automata
|
Jirásková, Galina |
|
2017 |
253 |
P1 |
p. 36-63 28 p. |
artikel |
10 |
Quantitative model-checking of controlled discrete-time Markov processes
|
Tkachev, Ilya |
|
2017 |
253 |
P1 |
p. 1-35 35 p. |
artikel |
11 |
Unit interval editing is fixed-parameter tractable
|
Cao, Yixin |
|
2017 |
253 |
P1 |
p. 109-126 18 p. |
artikel |