nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A global parallel algorithm for the hypergraph transversal problem
|
Khachiyan, Leonid |
|
2007 |
101 |
4 |
p. 148-155 8 p. |
artikel |
2 |
A Kleene characterization of computability
|
Engelfriet, Joost |
|
2007 |
101 |
4 |
p. 139-140 2 p. |
artikel |
3 |
An improved lower bound for approximating Shortest Integer Relation in ℓ ∞ norm ( SIR ∞ )
|
Chen, Wenbin |
|
2007 |
101 |
4 |
p. 174-179 6 p. |
artikel |
4 |
A self-stabilizing ( Δ + 4 )-edge-coloring algorithm for planar graphs in anonymous uniform systems
|
Tzeng, Chi-Hung |
|
2007 |
101 |
4 |
p. 168-173 6 p. |
artikel |
5 |
Circle formation of weak robots and Lyndon words
|
Dieudonné, Yoann |
|
2007 |
101 |
4 |
p. 156-162 7 p. |
artikel |
6 |
Dominance constraints in stratified context unification
|
Erk, Katrin |
|
2007 |
101 |
4 |
p. 141-147 7 p. |
artikel |
7 |
Editorial Board
|
|
|
2007 |
101 |
4 |
p. CO2- 1 p. |
artikel |
8 |
Substitutions into propositional tautologies
|
Krajíček, Jan |
|
2007 |
101 |
4 |
p. 163-167 5 p. |
artikel |