|
Journals in DBLP
- Evelina Lamma, Paola Mello, Antonio Natali
An Extended Warren Abstract Machine for the Execution of Structured Logic Programs. [Citation Graph (1, 0)][DBLP] J. Log. Program., 1992, v:14, n:3&4, pp:187-222 [Journal]
- Yannis E. Ioannidis
Commutativity and its Role in the Processing of Linear Recursion. [Citation Graph (3, 0)][DBLP] J. Log. Program., 1992, v:14, n:3&4, pp:223-252 [Journal]
- H. Lewis Chau, Douglas Stott Parker Jr.
Narrowing Grammar: Theory, Implementation, and Applications. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1992, v:14, n:3&4, pp:253-286 [Journal]
- H. Albert Lilly, Barrett R. Bryant
A Prescribed Cut for Prolog that Ensures Soundness. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1992, v:14, n:3&4, pp:287-339 [Journal]
- Antonis C. Kakas, Paolo Mancarella
Short Note: Preferred Extensions are Partial Stable Models. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1992, v:14, n:3&4, pp:341-348 [Journal]
|