Journals in DBLP

Ann. Pure Appl. Logic
1992, volume: 56, number: 1-3

1. John C. Shepherdson
   Mints Type Deductive Calculi for Logic Programming. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1992, v:56, n:1-3, pp:7-17 [Journal]
   
2. G. Kreisel
   On the Idea(l) of Logical Closure. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1992, v:56, n:1-3, pp:19-41 [Journal]
   
3. J. C. E. Dekker, Erik Ellentuck
   Myhill's Work in Recursion Theory. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1992, v:56, n:1-3, pp:43-71 [Journal]
   
4. Peter Clote, Gaisi Takeuti
   Bounded Arithmetic for NC, ALogTIME, L and NL. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1992, v:56, n:1-3, pp:73-117 [Journal]
   
5. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
   How Complicated is the Set of Stable Models of a Recursive Logic Program? [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1992, v:56, n:1-3, pp:119-135 [Journal]
   
6. Thomas G. McLaughlin
   Eight Problems about Nerode Semirings (Recursive Ultrapowers). [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1992, v:56, n:1-3, pp:137-146 [Journal]
   
7. John N. Crossley, Jeffrey B. Remmel
   Cancellation Laws for Polynomial-Time p-Isolated Sets. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1992, v:56, n:1-3, pp:147-172 [Journal]
   
8. Leon Harkleroad
   Polynomial-Time Analogues of Isolatedness. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1992, v:56, n:1-3, pp:173-182 [Journal]
   
9. Andreas Blass
   A Game Semantics for Linear Logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1992, v:56, n:1-3, pp:183-220 [Journal]
   
10. Rodney G. Downey, Theodore A. Slaman
    On co-Simple Isols and Their Intersection Types. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1992, v:56, n:1-3, pp:221-237 [Journal]
    
11. Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar
    Decision Problems for Propositional Linear Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1992, v:56, n:1-3, pp:239-311 [Journal]
    
12. Douglas A. Cenzer, Jeffrey B. Remmel
    Polynomial-Time Abelian Groups. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1992, v:56, n:1-3, pp:313-363 [Journal]