|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A note on: ‘Deque automata and a subfamily of context-sensitive languages which contains all semilinear bounded languages’ (by K. Ayers) |
Brandenburg, Franz J. |
1987 |
52 | 3 |
p. 341-342 2 p. |
artikel |
|
| 2 | A syntactic theory of sequential control |
Felleisen, Matthias |
1987 |
52 | 3 |
p. 205-237 33 p. |
artikel |
|
| 3 | Author index volume 52 (1987) |
1987 |
52 | 3 |
p. 343- 1 p. |
artikel |
||
| 4 | Distributed sorting algorithms for multi-channel broadcast networks |
Marberg, John M. |
1987 |
52 | 3 |
p. 193-203 11 p. |
artikel |
|
| 5 | Domain-independent formulas and databases |
Topor, Rodney W. |
1987 |
52 | 3 |
p. 281-306 26 p. |
artikel |
|
| 6 | Models of lower-bounds proofs |
Nigmatullin, R.G. |
1987 |
52 | 3 |
p. 239-249 11 p. |
artikel |
|
| 7 | On characterizations of the class PSPACE/poly |
Balcázar, J.L. |
1987 |
52 | 3 |
p. 251-267 17 p. |
artikel |
|
| 8 | On flowchart theories: Part II. The nondeterministic case |
Ştefǎnescu, Gh. |
1987 |
52 | 3 |
p. 307-340 34 p. |
artikel |
|
| 9 | Stationary deterministic flows: II. The single-server queue |
Gelenbe, Erol |
1987 |
52 | 3 |
p. 269-280 12 p. |
artikel |
|
| 10 | The membership and equivalence problems for picture languages |
Kim, Changwook |
1987 |
52 | 3 |
p. 177-191 15 p. |
artikel |
10 gevonden resultaten