Author index volume 193 (1998)

Theoretical ComputerScience ELSEVIER

Theoretical Computer Science 193 (1998) 249

Author index volume 193 (1998) (The issue number is given in front of the page numbers)

Alessi, F. and P. Baldan, A characterization of distance between l-bounded compact ultrametric spaces through a universal space Aoyagi, S., see Y. Manabe Baldan, P., see F. Alessi Baldoni, R., see Y. Manabe Bonsangue, M.M., F. van Breugel and J.J.M.M. Rutten, Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding (Fundamental Study)

Cadoli, M. and L. Palopoli, Circumscribing DATALOG: expressive power and complexity Drakengren, T., A decidable canonical representation of the compact elements in Scott’s reflexive domain in PO Edalat, A. and R. Heckmann, A computational model for metric spaces Esbelin, H.-A. and M. More, Rudimentary relations and primitive recursion: A toolbox Ghelli, G. and B. Pierce, Bounded existentials and minimal typing Heckmann, R., see A. Edalat Manabe, Y., R. Baldoni, M. Raynal and S. Aoyagi, k-Arbiter: A safe and general scheme for h-out of-k mutual exclusion More, M. see H.-A. Esbelin Palopoli, L., see M. Cadoli Pierce, B., see G. Ghelli Rabinovich, A., On translations of temporal logic of actions into monadic second-order logic Raynal, M., see Y. Manabe Ross, K.A., D. Srivastava, P.J. Stuckey and S. Sudarshan, Foundations of aggregation constraints Rutten, J.J.M.M., see M.M. Bonsangue Srivastava, D., see K.A. Ross Stuckey, P.J., see K.A. Ross Sudarshan, S., see K.A. Ross van Breugel, F., see M.M. Bonsangue

Elsevier Science B.V.

(l-2) 1133127 (l-2) 97-112 (l-2) 113-127 (l-2) 977112

(l-2) l- 51 (l-2) 215-244 (l-2) 181-195 (l-2) 53- 73 (l-2) 129-148 (l-2) 75- 96 (l-2) 53- 73 (l-2) 97-112 (l-2) 1299148 (l-2) 215-244 (l-2) 75- 96 (l-2) 1977214 (l-2) 97-112 (l-2) (l-2) (l-2) (l-2) (l-2) (l-2)

1499179 l- 51 1499179 149-179 149-179 l- 51