Theoretical Computer Science 1991: Vol 91 Index

1 Pages·1991·0.26 MB·English

Theoretical Computer Science 91 (1991) 315
Elsevier
Author Index Volume 91 (1991)
(The issue number is given in front of the page numbers)
Arfi, M., Opérations polynomiales et hiérarchies de concaténation (1) 71- 84
Buneman, P., A. Jung and A. Ohori, Using powerdomains to generalize relational
(1) 23- 55
databases
(2) 239-264
Burstall, R.M., see A. Tarlecki
(1) 57- 69
Culik II, K. and S. Dube, An efficient solution of the firing mob problem
(1) 57- 69
Dube, S., see K. Culik II
(2) 239-264
Goguen, J.A., see A. Tarlecki
Hashiguchi, K., Algorithms for determining relative inclusion star height and inclusion
(1) 85-100
star height
(1) 23- 55
Jung, A., see P. Buneman
Kearny, P. and J. Staples, An extensional fixed-point semantics for nondeterministic data
(2) 129-179
flow (Fundamental Study)
(1) 101-117
Kinber, E.B., On complete sets of samples for generalized regular >xpressions
Knijnenburg, P.M.W. and J. van Leeuwen, On models for propositional dynamic logic (2) 181-203
(1) 119-128
Moews, D., Sum of games born on Days 2 and 3 (Mathematical Games)
(1) 23- 55
Ohori, A., see P. Buneman
wm 4-21
Pandu Rangan, C., see A. Srinivasan
(2) 285-313
Rozoy, B. and P.S. Thiagarajan, Event structures and trace monoids
Srinivasan, A. and C. Pandu Rangan, Efficient algorithms for the minimum weighted
(1) 1-21
dominating clique problem on permutation graphs
(2) 129-179
Staples, J., see P. Kearny
Tarlecki, A., R.M. Burstall and J.A. Goguen, Some fundamental algebraic tools for the
(2) 239-264
semantics of computation: Part 3. Indexed categories
(2) 285-313
Thiagarajan, P.S., see B. Rozoy
(2) 181-203
Van Leeuwen, J., see P.M.W. Knijnenburg
(2) 205-238
Vogler, W., Executions: a new partial-order semantics of Petri nets
(2) 265-283
Zhang, W., Cut elimination and automatic proof procedures
Elsevier Science Publishers B.V.