| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Cyclic ordering is NP-complete
|
Galil, Zvi
|
|
1977
|
5 |
2 |
p. 179-182
4 p.
|
artikel
|
| 2 |
On a question of S. Eilenberg
|
Reutenauer, Christophe
|
|
1977
|
5 |
2 |
p. 219-
1 p.
|
artikel
|
| 3 |
On finite semigroups of matrices
|
Mandel, Arnaldo
|
|
1977
|
5 |
2 |
p. 101-111
11 p.
|
artikel
|
| 4 |
On the formal definition of dependencies between the control and information structure of a data space
|
Cremers, Armin B.
|
|
1977
|
5 |
2 |
p. 113-128
16 p.
|
artikel
|
| 5 |
Pascal in LCF: Semantics and examples of proof
|
Aiello, L.
|
|
1977
|
5 |
2 |
p. 135-177
43 p.
|
artikel
|
| 6 |
Produit dans le cône rationnel engendré par D * 1
|
Latteux, Michel
|
|
1977
|
5 |
2 |
p. 129-134
6 p.
|
artikel
|
| 7 |
3rd Symposium on programming—theory and practice of programming—call for papers
|
|
|
1977
|
5 |
2 |
p. 221-222
2 p.
|
artikel
|
| 8 |
Remarks on commutative n-rational series
|
Karhumäki, Juhani
|
|
1977
|
5 |
2 |
p. 211-217
7 p.
|
artikel
|
| 9 |
The complexity of group algebra computations
|
Atkinson, M.D.
|
|
1977
|
5 |
2 |
p. 205-209
5 p.
|
artikel
|
| 10 |
5th International colloquium on automata, languages and programming
|
|
|
1977
|
5 |
2 |
p. 222-
1 p.
|
artikel
|
| 11 |
UN algorithme calculant le cardinal, fini ou infini, des demi-groupes de matrices
|
Jacob, Gérard
|
|
1977
|
5 |
2 |
p. 183-204
22 p.
|
artikel
|
Tijdschrift beschrijving