|
Journals in DBLP
- Dov M. Gabbay, Marek J. Sergot
Negation as Inconsistency I. [Citation Graph (1, 0)][DBLP] J. Log. Program., 1986, v:3, n:1, pp:1-35 [Journal]
- Maarten H. van Emden
Quantitative Deduction and its Fixpoint Theory. [Citation Graph (7, 0)][DBLP] J. Log. Program., 1986, v:3, n:1, pp:37-53 [Journal]
- John W. Lloyd, Rodney W. Topor
A Basis for Deductive Database Systems II. [Citation Graph (9, 0)][DBLP] J. Log. Program., 1986, v:3, n:1, pp:55-67 [Journal]
- Damjan Bojadziev
A Constructive View of Prolog. [Citation Graph (1, 0)][DBLP] J. Log. Program., 1986, v:3, n:1, pp:69-74 [Journal]
- Leon Sterling, Michael Codish
Pressing for Parallelism: A Prolog Program made Concurrent. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1986, v:3, n:1, pp:75-92 [Journal]
|