Journals in DBLP

Ann. Pure Appl. Logic
2008, volume: 152, number: 1-3

1. 
   Logic, Language, Information and Computation. [Citation Graph (, )][DBLP]
   
   
2. 
   Game-based notions of locality over finite models. [Citation Graph (, )][DBLP]
   
   
3. 
   Choiceless polynomial time, counting and the Cai-Fürer-Immerman graphs. [Citation Graph (, )][DBLP]
   
   
4. 
   Lowness properties and approximations of the jump. [Citation Graph (, )][DBLP]
   
   
5. 
   A quantified logic of evidence. [Citation Graph (, )][DBLP]
   
   
6. 
   Characterising nested database dependencies by fragments of propositional logic. [Citation Graph (, )][DBLP]
   
   
7. 
   System BV is NP-complete. [Citation Graph (, )][DBLP]
   
   
8. 
   Probabilistic verification and approximation. [Citation Graph (, )][DBLP]
   
   
9. 
   Full classical S5 in natural deduction with weak normalization. [Citation Graph (, )][DBLP]
   
   
10. 
    Cut elimination for a simple formulation of epsilon calculus. [Citation Graph (, )][DBLP]
    
    
11. 
    Approximations of modal logics: K and beyond. [Citation Graph (, )][DBLP]
    
    
12. 
    The complexity of random ordered structures. [Citation Graph (, )][DBLP]