Journals in DBLP

Logic Journal of the IGPL
2002, volume: 10, number: 5

1. Tijn Borghuis, Fairouz Kamareddine, Rob Nederpelt
   Formalizing Belief Revision in Type Theory. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2002, v:10, n:5, pp:461-500 [Journal]
   
2. Daniel Damian, Olivier Danvy
   A Simple CPS Transformation of Control-Flow Information. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2002, v:10, n:5, pp:501-515 [Journal]
   
3. Aleksey G. Kravtsov
   Polymodal Logics of Commuting Functions. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2002, v:10, n:5, pp:517-533 [Journal]
   
4. Carsten Lutz
   PSpace Reasoning with the Description Logic ALCF(D). [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2002, v:10, n:5, pp:535-568 [Journal]