nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A geometric construction of a superconcentrator of depth 2
|
Meshulam, Roy |
|
1984 |
32 |
1-2 |
p. 215-219 5 p. |
artikel |
2 |
A linear-history semantics for languages for distributed programming
|
Francez, N. |
|
1984 |
32 |
1-2 |
p. 25-46 22 p. |
artikel |
3 |
An extended direct branching algorithm for checking equivalence of deterministic pushdown automata
|
Tomita, Etsuji |
|
1984 |
32 |
1-2 |
p. 87-120 34 p. |
artikel |
4 |
A parallel-design distributed-implementation (PDDI) general-purpose computer
|
Vishkin, Uzi |
|
1984 |
32 |
1-2 |
p. 157-172 16 p. |
artikel |
5 |
A tradeoff theorem for space and reversal
|
Hong, Jia-Wei |
|
1984 |
32 |
1-2 |
p. 221-224 4 p. |
artikel |
6 |
Biprefix codes, inverse semigroups and syntactic monoids of injective automata
|
Hall, T.E. |
|
1984 |
32 |
1-2 |
p. 201-213 13 p. |
artikel |
7 |
Connections in acyclic hypergraphs
|
Maier, David |
|
1984 |
32 |
1-2 |
p. 185-199 15 p. |
artikel |
8 |
Contents EATCS Bulletin
|
|
|
1984 |
32 |
1-2 |
p. 225-226 2 p. |
artikel |
9 |
Distributive semantics for nondeterministic typed λ-calculi
|
Astesiano, Egidio |
|
1984 |
32 |
1-2 |
p. 121-156 36 p. |
artikel |
10 |
Editorial Board
|
|
|
1984 |
32 |
1-2 |
p. ii-iii nvt p. |
artikel |
11 |
Efficient inference control for range Sum queries
|
Chin, Francis Y. |
|
1984 |
32 |
1-2 |
p. 77-86 10 p. |
artikel |
12 |
Linear indexed languages
|
Duske, J. |
|
1984 |
32 |
1-2 |
p. 47-60 14 p. |
artikel |
13 |
On graph rewritings
|
Raoult, Jean Claude |
|
1984 |
32 |
1-2 |
p. 1-24 24 p. |
artikel |
14 |
Petri nets and large finite sets
|
McAloon, Kenneth |
|
1984 |
32 |
1-2 |
p. 173-183 11 p. |
artikel |
15 |
The Nielsen reduction and P-complete problems in free groups
|
Avenhaus, J. |
|
1984 |
32 |
1-2 |
p. 61-76 16 p. |
artikel |