nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Algebraic semantics of recursive flowchart schemes
|
Schmeck, Hartmut |
|
1983 |
59 |
1-3 |
p. 108-126 19 p. |
artikel |
2 |
An n 3/2 lower bound on the monotone network complexity of the Boolean convolution
|
Weiss, Jürgen |
|
1983 |
59 |
1-3 |
p. 184-188 5 p. |
artikel |
3 |
Author index for volume 59
|
|
|
1983 |
59 |
1-3 |
p. 189- 1 p. |
artikel |
4 |
Cumulative subject index volumes 56–59
|
|
|
1983 |
59 |
1-3 |
p. 190-195 6 p. |
artikel |
5 |
Editorial Board
|
|
|
1983 |
59 |
1-3 |
p. i- 1 p. |
artikel |
6 |
Mental poker with three or more players
|
Bárány, Imre |
|
1983 |
59 |
1-3 |
p. 84-93 10 p. |
artikel |
7 |
Regular dynamic logic is not interpretable in deterministic context-free dynamic logic
|
Stolboushkin, A.P. |
|
1983 |
59 |
1-3 |
p. 94-107 14 p. |
artikel |
8 |
Repetition of subwords in DOL languages
|
Ehrenfeucht, A. |
|
1983 |
59 |
1-3 |
p. 13-35 23 p. |
artikel |
9 |
Semantics for classical AUTOMATH and related systems
|
Barendregt, Henk |
|
1983 |
59 |
1-3 |
p. 127-147 21 p. |
artikel |
10 |
Subspaces of GF(q) ω and convolutional codes
|
Staiger, Ludwig |
|
1983 |
59 |
1-3 |
p. 148-1 83 nvt p. |
artikel |
11 |
Synchronous and asynchronous experiments on processes
|
Hennessy, M. |
|
1983 |
59 |
1-3 |
p. 36-83 48 p. |
artikel |
12 |
The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional logic
|
Yamasaki, Susumu |
|
1983 |
59 |
1-3 |
p. 1-12 12 p. |
artikel |