nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A compositional proof system on a category of labelled transition systems
|
Winskel, Glynn |
|
1990 |
87 |
1-2 |
p. 2-57 56 p. |
artikel |
2 |
A logic for reasoning about probabilities
|
Fagin, Ronald |
|
1990 |
87 |
1-2 |
p. 78-128 51 p. |
artikel |
3 |
A modest model of records, inheritance, and bounded quantification
|
Bruce, Kim B. |
|
1990 |
87 |
1-2 |
p. 196-240 45 p. |
artikel |
4 |
An algebra and a logic for NC 1
|
Compton, Kevin J. |
|
1990 |
87 |
1-2 |
p. 241-263 23 p. |
artikel |
5 |
Author index for volume 87
|
|
|
1990 |
87 |
1-2 |
p. 339- 1 p. |
artikel |
6 |
Can LCF be topped? Flat lattice models of typed λ-calculus
|
Bloom, Bard |
|
1990 |
87 |
1-2 |
p. 264-301 38 p. |
artikel |
7 |
Editorial Board
|
|
|
1990 |
87 |
1-2 |
p. i- 1 p. |
artikel |
8 |
0–1 Laws and decision problems for fragments of second-order logic
|
Kolaitis, Phokion G. |
|
1990 |
87 |
1-2 |
p. 302-338 37 p. |
artikel |
9 |
Preface
|
Gurevich, Yuri |
|
1990 |
87 |
1-2 |
p. 1- 1 p. |
artikel |
10 |
Priorities in process algebras
|
Cleaveland, Rance |
|
1990 |
87 |
1-2 |
p. 58-77 20 p. |
artikel |
11 |
Rigid E-unification: NP-completeness and applications to equational matings
|
Gallier, Jean |
|
1990 |
87 |
1-2 |
p. 129-195 67 p. |
artikel |