Journals in DBLP

J. Log. Program.
1990, volume: 8, number: 1

1. Leon Sterling
   Guest Editor's Introduction. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:8, n:1, pp:1-3 [Journal]
   
2. Peter B. Reintjes
   AUNT: A Universal Netlist Translator. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:8, n:1, pp:5-19 [Journal]
   
3. Leon Sterling, Yossi Nygate
   PYTHON: An Expert Squeezer. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:8, n:1, pp:21-39 [Journal]
   
4. Allen Van Gelder
   Modeling Simultaneous Events with Default Reasoning and Tight Derivations. [Citation Graph (1, 0)][DBLP]
   J. Log. Program., 1990, v:8, n:1, pp:41-52 [Journal]
   
5. David B. Searls, Lewis M. Norton
   Logic-Based Configuration with a Semantic Network. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:8, n:1, pp:53-73 [Journal]
   
6. Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
   Solving Large Combinatorial Problems in Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:8, n:1, pp:75-93 [Journal]
   
7. Michael M. Gorlick, Carl Kesselman, Daniel A. Marotta, Douglas Stott Parker Jr.
   Mockingbird: A Logical Methodology for Testing. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:8, n:1, pp:95-119 [Journal]
   
8. Nabiel A. Elshiewy
   Logic Programming for Real-Time Control of Telecommunication Switching Systems. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:8, n:1, pp:121-144 [Journal]
   
9. Kemal Ebcioglu
   An Expert System for Harmonizing Chorales in the Style of J. S. Bach. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1990, v:8, n:1, pp:145-185 [Journal]