nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Difference in Complexity Between Recursion and Tail Recursion
|
Bhaskar, Siddharth |
|
2016 |
60 |
2 |
p. 299-313 |
artikel |
2 |
Composition Closure of Linear Extended Top-down Tree Transducers
|
Engelfriet, Joost |
|
2015 |
60 |
2 |
p. 129-171 |
artikel |
3 |
Conditional Measure and the Violation of Van Lambalgen’s Theorem for Martin-Löf Randomness
|
Bauwens, Bruno |
|
2016 |
60 |
2 |
p. 314-323 |
artikel |
4 |
Distance Vector-based Advance Reservation with Delay Performance Guarantees
|
Fazlollahi, Niloofar |
|
2015 |
60 |
2 |
p. 194-221 |
artikel |
5 |
Fixed Points, Nash Equilibria, and the Existential Theory of the Reals
|
Schaefer, Marcus |
|
2015 |
60 |
2 |
p. 172-193 |
artikel |
6 |
Path-Disruption Games: Bribery and a Probabilistic Model
|
Rey, Anja |
|
2016 |
60 |
2 |
p. 222-252 |
artikel |
7 |
Small-Bias is Not Enough to Hit Read-Once CNF
|
Bazzi, Louay |
|
2016 |
60 |
2 |
p. 324-345 |
artikel |
8 |
Sophistication vs Logical Depth
|
Antunes, Luís |
|
2016 |
60 |
2 |
p. 280-298 |
artikel |
9 |
The Behavior of Clique-Width under Graph Operations and Graph Transformations
|
Gurski, Frank |
|
2016 |
60 |
2 |
p. 346-376 |
artikel |
10 |
The Complexity of Finding Effectors
|
Bulteau, Laurent |
|
2016 |
60 |
2 |
p. 253-279 |
artikel |