nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An attribute evaluation of context-free languages
|
Tokuda, Takehiro |
|
1994 |
52 |
2 |
p. 91-98 8 p. |
artikel |
2 |
An optimal algorithm to solve the minimum weakly cooperative guards problem for 1-spiral polygons
|
Liaw, Bern-Cherng |
|
1994 |
52 |
2 |
p. 69-75 7 p. |
artikel |
3 |
Distributed termination detection with roughly synchronized clocks
|
Mayo, Jean |
|
1994 |
52 |
2 |
p. 105-108 4 p. |
artikel |
4 |
Haskell overloading is DEXPTIME-complete
|
Seidl, Helmut |
|
1994 |
52 |
2 |
p. 57-60 4 p. |
artikel |
5 |
k-Violation linear programming
|
Roos, Thomas |
|
1994 |
52 |
2 |
p. 109-114 6 p. |
artikel |
6 |
Maximizing the number of unused colors in the vertex coloring problem
|
Hassin, Refael |
|
1994 |
52 |
2 |
p. 87-90 4 p. |
artikel |
7 |
Recognizing shortest-path trees in linear time
|
Peng, C.H. |
|
1994 |
52 |
2 |
p. 77-85 9 p. |
artikel |
8 |
Semi-unification of two terms in Abelian groups
|
Rittri, Mikael |
|
1994 |
52 |
2 |
p. 61-68 8 p. |
artikel |
9 |
Stabilizing observers
|
Gouda, Mohamed G. |
|
1994 |
52 |
2 |
p. 99-103 5 p. |
artikel |