Cenzer, Douglas; Remmel, Jeffrey Polynomial-time Abelian groups. (English) Zbl 0764.03015 Ann. Pure Appl. Logic 56, No. 1-3, 313-363 (1992). Reviewer: R.Downey (Wellington) MSC: 03D45 × Cite Format Result Cite Review PDF Full Text: DOI
Lincoln, Patrick; Mitchell, John; Scedrov, Andre; Shankar, Natarajan Decision problems for propositional linear logic. (English) Zbl 0768.03003 Ann. Pure Appl. Logic 56, No. 1-3, 239-311 (1992). Reviewer: A.Ursini (Siena) MSC: 03B20 03D35 03D15 03B25 68Q25 03F05 × Cite Format Result Cite Review PDF Full Text: DOI
Downey, Rod; Slaman, Theodore A. On co-simple isols and their intersection types. (English) Zbl 0773.03031 Ann. Pure Appl. Logic 56, No. 1-3, 221-237 (1992). Reviewer: L.Harkleroad (Ithaca) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Blass, Andreas A game semantics for linear logic. (English) Zbl 0763.03008 Ann. Pure Appl. Logic 56, No. 1-3, 183-220 (1992). MSC: 03B20 03F03 × Cite Format Result Cite Review PDF Full Text: DOI Link
Harkleroad, Leon Polynomial-time analogues of isolatedness. (English) Zbl 0773.03032 Ann. Pure Appl. Logic 56, No. 1-3, 173-182 (1992). Reviewer: R.Downey (Wellington) MSC: 03D50 03D15 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Crossley, John N.; Remmel, J. B. Cancellation laws for polynomial-time \(p\)-isolated sets. (English) Zbl 0772.03022 Ann. Pure Appl. Logic 56, No. 1-3, 147-172 (1992). Reviewer: L.Harkleroad (Ithaca) MSC: 03D50 03D15 × Cite Format Result Cite Review PDF Full Text: DOI
McLaughlin, T. G. Eight problems about Nerode semirings (recursive ultrapowers). (English) Zbl 0776.03021 Ann. Pure Appl. Logic 56, No. 1-3, 137-146 (1992). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Marek, W.; Nerode, A.; Remmel, J. How complicated is the set of stable models of a recursive logic program? (English) Zbl 0766.03024 Ann. Pure Appl. Logic 56, No. 1-3, 119-135 (1992). Reviewer: U.Schöning (Ulm) MSC: 03D35 68N17 03C50 × Cite Format Result Cite Review PDF Full Text: DOI
Clote, P.; Takeuti, G. Bounded arithmetic for NC, ALogTIME, L and NL. (English) Zbl 0772.03028 Ann. Pure Appl. Logic 56, No. 1-3, 73-117 (1992). Reviewer: M.Tetruašvili (Tbilisi) MSC: 03F30 03D15 03F35 × Cite Format Result Cite Review PDF Full Text: DOI
Dekker, J. C. E.; Ellentuck, E. Myhill’s work in recursion theory. (English) Zbl 0774.03026 Ann. Pure Appl. Logic 56, No. 1-3, 43-71 (1992). Reviewer: H.B.Marandjian (Erevan) MSC: 03D20 03-03 03D50 01A60 03D25 × Cite Format Result Cite Review PDF Full Text: DOI
Kreisel, G. On the idea(l) of logical closure. (English) Zbl 0767.03005 Ann. Pure Appl. Logic 56, No. 1-3, 19-41 (1992). Reviewer: B.Boričić (Stockholm) MSC: 03A05 03-03 03F03 × Cite Format Result Cite Review PDF Full Text: DOI
Shepherdson, J. C. Mints type deductive calculi for logic programming. (English) Zbl 0761.03011 Ann. Pure Appl. Logic 56, No. 1-3, 7-17 (1992). Reviewer: G.Mints (Stanford) MSC: 03B70 68N17 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Bibliography of John Myhill. (English) Zbl 0749.01011 Ann. Pure Appl. Logic 56, No. 1-3, 3-6 (1992). MSC: 01A70 01A60 × Cite Format Result Cite Review PDF Full Text: DOI
Biography of John Myhill (1923-1987). (English) Zbl 0749.01010 Ann. Pure Appl. Logic 56, No. 1-3, 1 (1992). MSC: 01A70 01A60 × Cite Format Result Cite Review PDF Full Text: DOI