|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An algebraic structure for derivations in rewriting systems |
Velinov, Yury |
1988 |
57 | 2-3 |
p. 205-224 20 p. |
artikel |
|
| 2 | An inherently iterative computation of ackermann's function |
Grossman, Jerrold W. |
1988 |
57 | 2-3 |
p. 327-330 4 p. |
artikel |
|
| 3 | Applications of compactness in the Smyth powerdomain of streams |
Meyer, J.-J.Ch. |
1988 |
57 | 2-3 |
p. 251-282 32 p. |
artikel |
|
| 4 | Author index volume 57 (1988) |
1988 |
57 | 2-3 |
p. 331- 1 p. |
artikel |
||
| 5 | Codes circulaires, automates locaux et entropie |
Beal, Marie Pierre |
1988 |
57 | 2-3 |
p. 283-302 20 p. |
artikel |
|
| 6 | Incompleteness of first-order temporal logic with until |
Szalas, Andrzej |
1988 |
57 | 2-3 |
p. 317-325 9 p. |
artikel |
|
| 7 | Notes on congruence relations and factor pumping conditions for rational languages |
Hashiguchi, Kosaburo |
1988 |
57 | 2-3 |
p. 303-316 14 p. |
artikel |
|
| 8 | Rational index of context-free languages in exp Θ(P n )andnΘ,((ln n) 1 p ) |
Pierre, Laurent |
1988 |
57 | 2-3 |
p. 185-204 20 p. |
artikel |
|
| 9 | Relating the power of cellular arrays to their closure properties |
Ibarra, Oscar H. |
1988 |
57 | 2-3 |
p. 225-238 14 p. |
artikel |
|
| 10 | Theoremes de transfert pour les polynomes partiellement commutatifs |
Duchamp, G. |
1988 |
57 | 2-3 |
p. 239-249 11 p. |
artikel |
|
| 11 | The semantics and proof theory of linear logic |
Avron, Arnon |
1988 |
57 | 2-3 |
p. 161-184 24 p. |
artikel |
11 gevonden resultaten