Journals in DBLP

Ann. Pure Appl. Logic
1996, volume: 78, number: 1-3

1. Yuri Matiyasevich, Anil Nerode
   Preface - Papers in honor of the Symposium on Logical Foundations of Computer Science ``Logic at St. Petersburg''. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:1- [Journal]
   
2. Dmitry A. Archangelsky, Michael I. Dekhtyar, Mikhail A. Taitslin
   Linear Logic for Nets with Bounded Resources. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:3-28 [Journal]
   
3. Marat M. Arslanov, Steffen Lempp, Richard A. Shore
   Interpolating d-r.e. and REA Degrees between r.e. Degrees. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:29-56 [Journal]
   
4. Sergei N. Artëmov, Vladimir Krupski
   Data Storage Interpretation of Labeled Modal Logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:57-71 [Journal]
   
5. Andrew Dabrowski, Lawrence S. Moss, Rohit Parikh
   Topological Reasoning and the Logic of Knowledge. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:73-110 [Journal]
   
6. Thomas Eiter, Georg Gottlob, Yuri Gurevich
   Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:111-125 [Journal]
   
7. Xiaolin Ge, Anil Nerode
   Effective Content of the Calculus of Variations I: Semi-Continuity and the Chattering Lemma. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:127-146 [Journal]
   
8. Max I. Kanovich
   Linear Logic Automata. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:147-188 [Journal]
   
9. Johann A. Makowsky, Y. B. Pnueli
   Arity and Alternation in Second-Order Logic. [Citation Graph (1, 0)][DBLP]
   Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:189-202 [Journal]
   
10. Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
    McNaughton Games and Extracting Strategies for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:203-242 [Journal]
    
11. Victor L. Selivanov
    On Recursively Enumerable Structures. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:243-258 [Journal]
    
12. Saharon Shelah
    Was Sierpinski Right? III: Can Continuum-cc. Times c.c.c. be Continuum-c.c.? [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:259-269 [Journal]