Journals in DBLP

Journal of Applied Non-Classical Logics
1996, volume: 6, number: 1

1. Reiner Hähnle
   Exploiting Data Dependencies in Many-Valued Logics. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 1996, v:6, n:1, pp:- [Journal]
   
2. Michael J. Miller, Donald Perlis
   Automated Inference in Active Logics. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 1996, v:6, n:1, pp:- [Journal]
   
3. Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon
   Automated Deduction in a Graphical Temporal Logic. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 1996, v:6, n:1, pp:- [Journal]
   
4. John L. Pollock
   A General-Purpose Defeasible Reasoner. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 1996, v:6, n:1, pp:- [Journal]
   
5. Vincent Risch
   Analytic Tableaux for Default Logics. [Citation Graph (0, 0)][DBLP]
   Journal of Applied Non-Classical Logics, 1996, v:6, n:1, pp:- [Journal]