Theoretical Computer Science Theoretical Computer Science 146 (1995) 351 Author Index Volume 146 (1995) (The issue number is given in front of the page numbers) Alessi, F., P. Baldan and G. Bellé, A fixed-point theorem in a category of compact metric spaces (Note) (1-2) 311-320 Alimohamed, M., A characterization of lambda definability in categorical models of implicit polymorphism (Fundamental Study) (1-2) 5- 23 Ariola, Z.M. and Arvind, Properties of a first-order functional language with sharing (1-2) 69-108 Arvind, see Z.M. Ariola (1-2) 69-108 Backofen, R. and G. Smolka, A complete and recursive feature theory (1-2) 243-268 Baldan, P., see F. Alessi (1-2) 311-320 Belle, G., see F. Alessi (1-2) 311-320 Berghammer, R., B. Elbl and U. Schmerl, Formalizing Dijkstra’s predicate transformer wp in weak second-order logic (1-2) 185-197 Bloom, B., Structural operational semantics for weak bisimulations (Fundamental Study) (1-2) 25- 68 Bonacina, M.P. and J. Hsiang, Towards a foundation of completion procedures as semi- decision procedures (1-2) 199-242 Cassez, F. and O. Roux, Compilation of the ELECTRE reactive language into finite transition systems (1-2) 109-143 DeTurk, D., see A. Scedrov (i-2) 1- 3 Elbl, B., see R. Berghammer (1-2) 185-197 Hsiang, J., see M.P. Bonacina (1-2) 199-242 Ingolfsdottir, A., Late and early semantics coincide for testing (Note) (1-2) 341-349 Kemp, D.B., D. Srivastava and P.J. Stuckey, Bottom-up evaluation and query optimiza- tion of well-founded models (1-2) 145-184 Kobayashi, Y., A finitely presented monoid which has solvable word problem but has no regular complete presentation (Note) (1-2) 321-329 Naughton, J.F., R. Ramakrishnan, Y. Sagiv and J.D. Ullman, Argument reduction by factoring (1-2) 269-310 Ramakrishnan, R., see J.F. Naughton (1-2) 269-310 Roux, O., see F. Cassez (1-2) 109-143 Sagiv, Y., see J.F. Naughton (1-2) 269-310 Scedrov, A., D. DeTurk and W. Ziller, Moez Alimohamed, 1967—1994 (Obituary) (i-2) 1- 3 Schmerl, U., see R. Berghammer (1-2) 185-197 Smolka, G., see R. Backofen (1-2) 243-268 Srivastava, D., see D.B. Kemp (1-2) 145-184 Stuckey, P.J., see D.B. Kemp (1-2) 145-184 Ullman, J.D., see J.F. Naughton (1-2) 269-310 Zhang, G.-Q., On maximal stable functions (Note) (1-2) 331-339 Ziller, W., see A. Scedrov (i-2) 1- 3 Elsevier Science B.V.