Annals of Pure and Applied Logic 1997: Vol 84 Index

3 Pages·1997·0.27 MB·English

ANNALS OF
PURE AND
APPLIED LOGIC
ELSEVIER Annals of Pure and Applied Logic 84 (1997) 351
Author Index
Volume 84 (1997)
(The issue number is given in front of the page numbers.)
Cai, L., Chen, J.. Downey, R.G. and Fellows, M.R., Advance
classes of parameterized tractability (1) 119-138
Chen, J., see Cai, L. (1) 119-138
Downey, R.G., see Cai, L. (1) 119-138
Fellows, M.R., see Cai, L. (1) 119-138
Gallier, J., Kripke models and the (in)equational logic of the
second-order /-calculus (3) 257-316
Haught, C.A. and Slaman, T.A., Automorphisms in the
PTIME-Turing degrees of recursive sets (1) 139-152
Hebert, M., Syntactic characterizations of closure under
pullbacks and of locally polypresentable categories (1) 73— 95
Jain, S. and Sharma, A., Characterizing language identification
in terms of computable numberings (1) 51- 72
Jeavons, J., An alternative linear semantics for allowed logic
programs 3— 16
Kashima, R., Contraction-elimination for implicational logics 17- 39
Loader, R., Equational theories for inductive types 175-217
Mitchell, W.J., Schimmerling, E. and Steel, J.R., The covering
lemma up to a Woodin cardinal 219-255
Schimmerling, E., see Mitchell, W.J. 219-255
Sharma, A., see Jain, S. S1- 72
Shelah, S., Colouring and non-productivity of %j-C.C. 153-174
Shinoda, J., Strong polynomial-time reducibility 97-117
Slaman, T.A., see Haught, C.A. 139-152
Steel, J.R., see Mitchell, W.J. 219-255
Tanaka, K., The self-embedding theorem of WKLo and a
non-standard method 41— 49
van Oosten, J., Extensional realizability 317—349
Elsevier Science B.V.