Journals in DBLP

Ann. Pure Appl. Logic
1994, volume: 69, number: 2-3

1. Andre Scedrov
   Preface - Invited papers presented at the 1992 IEEE Symposium on Logic in Computer Science. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1994, v:69, n:2-3, pp:133- [Journal]
   
2. Gilles Dowek
   Third Order Matching is Decidable. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1994, v:69, n:2-3, pp:135-155 [Journal]
   
3. Joseph Y. Halpern, Bruce M. Kapron
   Zero-One Laws for Modal Logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1994, v:69, n:2-3, pp:157-193 [Journal]
   
4. Max I. Kanovich
   The Complexity of Horn Fragments of Linear Logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1994, v:69, n:2-3, pp:195-241 [Journal]
   
5. Nils Klarlund
   Progress Measures, Immediate Determinacy, and a Subset Construction for Tree Automata. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1994, v:69, n:2-3, pp:243-268 [Journal]
   
6. Hiroshi Nakano
   A Constructive Logic Behind the Catch and Throw Mechanism. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1994, v:69, n:2-3, pp:269-301 [Journal]