Journals in DBLP

J. Log. Comput.
2001, volume: 11, number: 4

1. Wolfgang May, Paul-Thomas Kandzia
   Nonmonotonic Inheritance in Object-Oriented Deductive Database Languages. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:4, pp:499-525 [Journal]
   
2. Thomas Studer
   A Semantics for [lambda]: a Calculus with Overloading and Late-binding. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:4, pp:527-544 [Journal]
   
3. Twan Laan, Michael Franssen
   Embedding First-order Logic in a Pure Type System with Parameters. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:4, pp:545-557 [Journal]
   
4. Sofia Guerra
   Composition of Default Specifications. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:4, pp:559-578 [Journal]
   
5. Sylvie Coste-Marquis, Pierre Marquis
   Knowledge Compilation for Closed World Reasoning and Circumscription. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:4, pp:579-607 [Journal]
   
6. Edith Hemaspaandra
   The Complexity of Poor Man's Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:4, pp:609-622 [Journal]
   
7. George Tourlakis
   On the Soundness and Completeness of Equational Predicate Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:4, pp:623-653 [Journal]