nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
An algorithm for linear constraint solving: its incorporation in a prolog meta-interpreter for CLP
|
Imbert, Jean-Louis |
|
1993 |
|
3-4 |
p. 235-253 19 p. |
artikel |
2 |
An extended Warren abstract machine for the execution of structured logic programs
|
Lamma, Evelina |
|
1992 |
|
3-4 |
p. 187-222 36 p. |
artikel |
3 |
A prescribed cut for Prolog that ensures soundness
|
Lilly, H.Albert |
|
1992 |
|
3-4 |
p. 287-339 53 p. |
artikel |
4 |
A simple characterization of uniform boundedness for a class of recursions
|
Naughton, Jeffrey F. |
|
1991 |
|
3-4 |
p. 233-253 21 p. |
artikel |
5 |
Author index to volume 14
|
|
|
1992 |
|
3-4 |
p. 350- 1 p. |
artikel |
6 |
Author index to volume 16
|
|
|
1993 |
|
3-4 |
p. 417- 1 p. |
artikel |
7 |
Author index to volume 10
|
|
|
1991 |
|
3-4 |
p. 362- 1 p. |
artikel |
8 |
Author index to volume 11
|
|
|
1991 |
|
3-4 |
p. 364- 1 p. |
artikel |
9 |
Commutativity and its role in the processing of linear recursion
|
Ioannidis, Yannis E. |
|
1992 |
|
3-4 |
p. 223-252 30 p. |
artikel |
10 |
Comparison of methods for logic-query implementation
|
Marchetti-Spaccamela, Alberto |
|
1991 |
|
3-4 |
p. 333-360 28 p. |
artikel |
11 |
Constraint logic programming for reasoning about discrete event processes
|
Ostroff, J.S. |
|
1991 |
|
3-4 |
p. 243-270 28 p. |
artikel |
12 |
Correct answers to allowed programs and queries are ground
|
Shepherdson, J.C. |
|
1991 |
|
3-4 |
p. 359-362 4 p. |
artikel |
13 |
Database logic programming
|
Vardi, MosheY. |
|
1991 |
|
3-4 |
p. 179-180 2 p. |
artikel |
14 |
Decomposability and its role in parallel logic-program evaluation
|
Wolfson, Ouri |
|
1991 |
|
3-4 |
p. 345-358 14 p. |
artikel |
15 |
Efficient bottom-up computation of queries on stratified databases
|
Balbin, I. |
|
1991 |
|
3-4 |
p. 295-344 50 p. |
artikel |
16 |
Efficient evaluation for a subset of recursive queries
|
Grahne, Gösta |
|
1991 |
|
3-4 |
p. 301-332 32 p. |
artikel |
17 |
Generalized constraint propagation over the CLP scheme
|
Le Provost, Thierry |
|
1993 |
|
3-4 |
p. 319-359 41 p. |
artikel |
18 |
Guest editor's introduction
|
Hentenryck, Pascal Van |
|
1993 |
|
3-4 |
p. 191-193 3 p. |
artikel |
19 |
Hierarchical constraint logic programming
|
Wilson, Molly |
|
1993 |
|
3-4 |
p. 277-318 42 p. |
artikel |
20 |
Interval computation as deduction in chip
|
Lee, J.H.M. |
|
1993 |
|
3-4 |
p. 255-276 22 p. |
artikel |
21 |
Magic templates: a spellbinding approach to logic programs
|
Ramakrishnan, Raghu |
|
1991 |
|
3-4 |
p. 189-216 28 p. |
artikel |
22 |
Narrowing grammar: theory, implementation, and applications
|
Chau, H.Lewis |
|
1992 |
|
3-4 |
p. 253-286 34 p. |
artikel |
23 |
Negative subgoals with free variables
|
Ginsberg, Matthew L. |
|
1991 |
|
3-4 |
p. 271-293 23 p. |
artikel |
24 |
On the power of magic
|
Beeri, Catriel |
|
1991 |
|
3-4 |
p. 255-299 45 p. |
artikel |
25 |
Partial evaluation in logic programming
|
Lloyd, J.W. |
|
1991 |
|
3-4 |
p. 217-242 26 p. |
artikel |
26 |
Pushing constraint selections
|
Srivastava, Divesh |
|
1993 |
|
3-4 |
p. 361-414 54 p. |
artikel |
27 |
Set constructors in a logic database language
|
Beeri, Catriel |
|
1991 |
|
3-4 |
p. 181-232 52 p. |
artikel |
28 |
Short note preferred extensions are partial stable models
|
Kakas, A.C. |
|
1992 |
|
3-4 |
p. 341-348 8 p. |
artikel |
29 |
Title index to volume 10
|
|
|
1991 |
|
3-4 |
p. 361- 1 p. |
artikel |
30 |
Title index to volume 14
|
|
|
1992 |
|
3-4 |
p. 349- 1 p. |
artikel |
31 |
Title index to volume 16
|
|
|
1993 |
|
3-4 |
p. 415- 1 p. |
artikel |
32 |
Title index to volume 11
|
|
|
1991 |
|
3-4 |
p. 363- 1 p. |
artikel |
33 |
Towards a meaning of life
|
Aït-Kaci, Hassan |
|
1993 |
|
3-4 |
p. 195-234 40 p. |
artikel |
34 |
Volume contents to volume 10
|
|
|
1991 |
|
3-4 |
p. i- 1 p. |
artikel |