|
Journals in DBLP
- Katsuhiko Nakamura
Associative Concurrent Evaluation of Logic Programs. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1984, v:1, n:4, pp:285-295 [Journal]
- Lee Naish
Heterogeneous SLD Resolution. [Citation Graph (1, 0)][DBLP] J. Log. Program., 1984, v:1, n:4, pp:297-303 [Journal]
- Olga Stepánková, Petr Stepánek
Transformations of Logic Programs. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1984, v:1, n:4, pp:305-318 [Journal]
- Dov M. Gabbay, Uwe Reyle
N-Prolog: An Extension of Prolog with Hypothetical Implications I. [Citation Graph (6, 0)][DBLP] J. Log. Program., 1984, v:1, n:4, pp:319-355 [Journal]
|