nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Bi-immunity separates strong NP-completeness notions
|
Pavan, A. |
|
2004 |
188 |
1 |
p. 116-126 11 p. |
artikel |
2 |
Counting extensional differences in BC-learning
|
Jain, Sanjay |
|
2004 |
188 |
1 |
p. 127-142 16 p. |
artikel |
3 |
De Bakker–Zucker processes revisited
|
van Breugel, Franck |
|
2004 |
188 |
1 |
p. 68-76 9 p. |
artikel |
4 |
DP lower bounds for equivalence-checking and model-checking of one-counter automata
|
Jančar, Petr |
|
2004 |
188 |
1 |
p. 1-19 19 p. |
artikel |
5 |
Editorial Board (continued)
|
|
|
2004 |
188 |
1 |
p. i- 1 p. |
artikel |
6 |
Efficient algorithms for learning functions with bounded variation
|
Long, Philip M. |
|
2004 |
188 |
1 |
p. 99-115 17 p. |
artikel |
7 |
Generalization of ZYT-linearizability for bilinear datalog programs
|
Kang, Ji-Hoon |
|
2004 |
188 |
1 |
p. 77-98 22 p. |
artikel |
8 |
Inside Front Cover: Editorial Board
|
|
|
2004 |
188 |
1 |
p. IFC- 1 p. |
artikel |
9 |
Parallel two dimensional witness computation
|
Cole, Richard |
|
2004 |
188 |
1 |
p. 20-67 48 p. |
artikel |