|
Journals in DBLP
- Peter A. Bigot, Saumya K. Debray
Return Value Placement and Tail Call Optimization in High Level Languages. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1999, v:38, n:1, pp:1-29 [Journal]
- I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
Efficient Access Mechanisms for Tabled Logic Programs. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1999, v:38, n:1, pp:31-54 [Journal]
- Bharat Jayaraman, Jana Devashis
Set Constructors, Finite Sets, and Logical Semantics. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1999, v:38, n:1, pp:55-77 [Journal]
- David Pearce
Stable Inference as Intuitionistic Validity. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1999, v:38, n:1, pp:79-91 [Journal]
- Evelina Lamma, Michela Milano, Paola Mello
Reasoning on Constraints in CLP(FD). [Citation Graph (0, 0)][DBLP] J. Log. Program., 1999, v:38, n:1, pp:93-110 [Journal]
|