Theoretical Computer Science 1995: Vol 142 Index

1 Pages·1995·0.15 MB·English

Theoretical
Computer Science
Theoretical Computer Science 142 (1995) 369
Author Index Volume 142 (1995)
(The issue number is given in front of the page numbers)
Aasa, A., Precedences in specifications and implementations of programming languages
Alpuente, M., M_ Falaschi and G. Levi, Incremental constraint satisfaction for equational
logic programming (1) 27- 57
Asperti, A. and C. Laneve, Paths, computations and labels in the A-calculus (2) 277- 297
Baader, F. and K.U. Schulz, Combination techniques and decision problems for dis-
unification (2) 229- 255
Dershowitz, N. and C. Hoot, Natural termination (2) 179- 207
Falaschi, M., see M. Alpuente (1) 27- 57
Gallier, J.. Proving properties of typed /-terms using realizability, covers, and sheaves (2) 299- 368
Hoot, C., see N. Dershowitz (2) 179- 207
Kirchner, C., Editorial to the Special Issue of Selected Papers of the Fifth International
Conference on Rewriting Techniques and Applications (RTA-93), Montreal, Canada,
16-18 June 1993 (2) 139- 140
Laneve, C., see A. Asperti (2) 277- 297
Levi, G., see M. Falaschi (1) 27- 57
Loogen, R. and S. Winkler, Dynamic detection of determinism in functional logic languages (1) 59- 87
Lynch, C. and W. Snyder, Redundancy criteria for constrained completion (2) 141- 177
Matuszynski, J. and M. Wirsing, Preface to the Special Issue of Selected Papers of the
Symposium on Programming Language Implementation and Logic Programming
(PLILP 91), Passau, Germany, 26-28 August 1991 (1) 1
Nieuwenhuis, R., see A. Rubio (2) 209- 227
Nilsson, U., Abstract interpretation: a kind of magic (1) 125- 138
Pettorossi, A., see M. Proietti (1) 89- 124
Proietti, M. and A. Pettorossi, Unfolding-definition-folding, in this order, for avoiding
unnecessary variables in logic programs (1) 89- 124
Rubio, A. and R. Nieuwenhuis, A total AC-compatible ordering based on RPO (2) 209- 227
Schulz, K.U., see F. Baader (2) 229- 255
Sénizergues, G., Some undecidable termination problems for semi-Thue systems (2) 257- 276
Snyder, W., see C. Lynch (2) 141- 177
Winkler, S., see R. Loogen (1) 59- 87
Wirsing, M., see J. Matuszynski (1) 1
Elsevier Science B.V.