Annals of Pure and Applied Logic 1992: Vol 56 Table of Contents PDF
Preview Annals of Pure and Applied Logic 1992: Vol 56 Table of Contents
ANNALS OF PURE AND APPLIED LOGIC VOLUME 56, 29 APRIL 1992 Special Volume dedicated to the memory of John Myhill CONTENTS Biography Bibliography J.C. Shepherdson Mints type deductive calculi for logic programming G. Kreisel On the idea(l) of logical closure J.C.E. Dekker and E. Ellentuck Myhill’s work in recursion theory P. Clote and G. Takeuti Bounded arithmetic for NC, ALogTIME, L and NL W. Marek, A. Nerode and J. Remmel How complicated is the set of stable models of a recursive logic program? T.G. McLaughlin Eight problems about Nerode semirings (recursive ultrapowers) J.N. Crossley and J.B. Remmel Cancellation laws for polynomial-time p-isolated sets L. Harkleroad Polynomial-time analogues of isolatedness A. Blass A game semantics for linear logic R. Downey and T.A. Slaman On co-simple isols and their intersection types P. Lincoln, J. Mitchell, A. Scedrov and N. Shankar Decision problems for propositional linear logic D. Cenzer and J. Remmel Polynomial-time Abelian groups Author Index
The list of books you might like
