| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Backdoors into heterogeneous classes of SAT and CSP
|
Gaspers, Serge
|
|
2017
|
85 |
C |
p. 38-56
19 p.
|
artikel
|
| 2 |
Combinatorial filter reduction: Special cases, approximation, and fixed-parameter tractability
|
Saberifar, Fatemeh Zahra
|
|
2017
|
85 |
C |
p. 74-92
19 p.
|
artikel
|
| 3 |
Contents
|
|
|
2017
|
85 |
C |
p. OBC-
1 p.
|
artikel
|
| 4 |
Determinacy and rewriting of functional top–down and MSO tree transformations
|
Benedikt, M.
|
|
2017
|
85 |
C |
p. 57-73
17 p.
|
artikel
|
| 5 |
Editing to a planar graph of given degrees
|
Dabrowski, Konrad K.
|
|
2017
|
85 |
C |
p. 168-182
15 p.
|
artikel
|
| 6 |
Editorial Board
|
|
|
2017
|
85 |
C |
p. IFC-
1 p.
|
artikel
|
| 7 |
Inclusion dependencies and their interaction with functional dependencies in SQL
|
Koehler, Henning
|
|
2017
|
85 |
C |
p. 104-131
28 p.
|
artikel
|
| 8 |
Networks of polarized multiset processors
|
Bottoni, Paolo
|
|
2017
|
85 |
C |
p. 93-103
11 p.
|
artikel
|
| 9 |
Scheduling of online compute-intensive synchronized jobs on high performance virtual clusters
|
Mahmoodi Khorandi, Sina
|
|
2017
|
85 |
C |
p. 1-17
17 p.
|
artikel
|
| 10 |
The extended equation of Lyndon and Schützenberger
|
Manea, Florin
|
|
2017
|
85 |
C |
p. 132-167
36 p.
|
artikel
|
| 11 |
Turing kernelization for finding long paths and cycles in restricted graph classes
|
Jansen, Bart M.P.
|
|
2017
|
85 |
C |
p. 18-37
20 p.
|
artikel
|
Tijdschrift beschrijving