Journals in DBLP

Logic Journal of the IGPL
1998, volume: 6, number: 4

1. 
   Editorial. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1998, v:6, n:4, pp:- [Journal]
   
2. Pablo E. Martínez López, Gabriel A. Baum
   Fork Algebraic Datatypes. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1998, v:6, n:4, pp:531-543 [Journal]
   
3. Francisco Miraglia, Ugo Solitro
   Sheaves over Right Sided Idempotent Quantales. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1998, v:6, n:4, pp:545-600 [Journal]
   
4. Moshe Y. Vardi
   Computational Model Theory: An Overview. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1998, v:6, n:4, pp:601-623 [Journal]
   
5. Patrick Blackburn, Miroslava Tzakova
   Hybrid Completeness. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1998, v:6, n:4, pp:625-650 [Journal]
   
6. Peter A. Flach, Antonis C. Kakas
   Abduction and Induction in AI: Report of the IJCAI'97 Workshop. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1998, v:6, n:4, pp:651-656 [Journal]
   
7. Ruy J. G. B. de Queiroz, Kátia Silva Guimaraes
   Conference Report: Logic, Proofs and Algorithms. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1998, v:6, n:4, pp:656-657 [Journal]
   
8. Ruy J. G. B. de Queiroz
   Conference Report: Logic in Natural Language. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1998, v:6, n:4, pp:657-658 [Journal]
   
9. Ruy J. G. B. de Queiroz
   Conference Report: Logic for Concurrency and Synchronisation (LOCUS). [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1998, v:6, n:4, pp:659-663 [Journal]