Author index volume 87 (1991)

Theoretical

Computer

Science

87 (1991) 353

353

Elsevier

Author (The issue number

Index Volume 87 (1991) is given in front of the page numbers)

Balsters, H. and M.M. Fokkinga, Subtyping can have a simple semantics Calude, C., Relativized topological size of sets of partial recursive functions (Note) Csuhaj-Varju, E. and J. Dassow, On bounded interpretations of grammar forms Dassow, J., see E. Csuhaj-Varju de Luca, A. and S. Varricchio, Finiteness and iteration conditions for semigroups Diks, K. and W. Rytter, On optimal parallel computations for sequences of brackets Esik, Z., Results on homomorphic realization of automata by cu,-products Farmer, W.M., Simple second-order languages for which unification is undecidable Fokkinga, M.M., see H. Balsters Fournier, R. and G. von Bochmann, The equivalence in the DCP model Gardiner, P. and C. Morgan, Data refinement of predicate transformers Gyssens, M. and D. Van Gucht, A comparison between algebraic query languages for flat and nested databases Hallnas, L., Partial inductive definitions Heibig, A.G., Control machines: A new model of parallelism for compositional specifications and their effective compilation McCune, W. and L. Wos, The absence and the presence of fixed point combinators

(Note)

Science

81- 96 347-352 287-313 287-313 315-327 251-262 229-249 25- 41 81- 96 97-114 143-162

(2) 263-286 (1) 115-142 (1)

43-

80

(1) 221-228

Mezghiche, M., Weak completeness of type assignment in A-calculus models: a generalization of Hindley’s result (Note) Mimer, R. and M. Tofte, Co-induction in relational semantics (Note) Morgan, C., see P. Gardiner Nirmal, N. and R. Rama, Machine characterization of (EOL-EOL) array languages Rama, R., see N. Nirmal Rytter, W., see K. Diks Stoltenberg-Hansen, V. and J.V. Tucker, Algebraic and fixed point equations over inverse limits of algebras (Fundamental Study) Tofte, M., see R. Milner Tucker, J.V., see V. Stoltenberg-Hansen Van Gucht, D., see M. Gyssens Varricchio, S., see A. de Luca von Bochmann, G., see R. Fournier Wilm, A., Determinism and non-determinism in PDL (Note) Wos, L., see W. McCune Zierer, H., Relation algebraic domain constructions

Elsevier

(1) (2) (2) (2) (2) (2) (2) (1) (1) (1) (1)

Publishers

B.V.

(1) (1) (1) (2) (2) (2)

203-208 209-220 143-162 329-346 329-346 251-262

(1) (1) (1) (2) (2) (1) (1) (1) (1)

l- 24 209-220 l- 24 263-286 315-327 97-114 189-202 221-228 163-188