|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
33 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract interpretation and application to logic programs |
Cousot, Patrick |
1992 |
2-3 |
p. 103-179 77 p. |
artikel |
||
| 2 | Abstract multiple specialization and its application to program parallelization |
Puebla, German |
1999 |
2-3 |
p. 279-316 38 p. |
artikel |
||
| 3 | A study of relevance for learning in deductive databases |
Lavrač, Nada |
1999 |
2-3 |
p. 215-249 35 p. |
artikel |
||
| 4 | Author index to volume 9 |
1990 |
2-3 |
p. 286- 1 p. |
artikel |
|||
| 5 | Bottom-up dataflow analysis of normal logic programs |
Marriott, Kim |
1992 |
2-3 |
p. 181-204 24 p. |
artikel |
||
| 6 | Compile-time derivation of variable dependency using abstract interpretation |
Muthukumar, K. |
1992 |
2-3 |
p. 315-347 33 p. |
artikel |
||
| 7 | Conjunctive partial deduction: foundations, control, algorithms, and experiments |
De Schreye, Danny |
1999 |
2-3 |
p. 231-277 47 p. |
artikel |
||
| 8 | Deductive synthesis of solutions for technological tasks |
Mikhailov, V.J. |
1990 |
2-3 |
p. 195-220 26 p. |
artikel |
||
| 9 | Deriving descriptions of possible values of program variables by means of abstract interpretation |
Janssens, G. |
1992 |
2-3 |
p. 205-258 54 p. |
artikel |
||
| 10 | Editorial |
Mints, G. |
1990 |
2-3 |
p. 139-140 2 p. |
artikel |
||
| 11 | Efficient program synthesis in computational models |
Kanovich, Max I. |
1990 |
2-3 |
p. 159-177 19 p. |
artikel |
||
| 12 | Generalization by absorption of definite clauses |
Taylor, Kerry |
1999 |
2-3 |
p. 127-157 31 p. |
artikel |
||
| 13 | Guest editors' introduction |
Muggleton, Stephen |
1999 |
2-3 |
p. 125-126 2 p. |
artikel |
||
| 14 | Guest editor's introduction |
Debray, Saumya K. |
1992 |
2-3 |
p. 99-101 3 p. |
artikel |
||
| 15 | Guest editors' introduction Special Issue: synthesis, transformation and analysis of logic programs 2 |
Bossi, Annalisa |
1999 |
2-3 |
p. 139-140 2 p. |
artikel |
||
| 16 | Index |
1999 |
2-3 |
p. 317-318 2 p. |
artikel |
|||
| 17 | Index |
1999 |
2-3 |
p. 319- 1 p. |
artikel |
|||
| 18 | Index |
1999 |
2-3 |
p. 301- 1 p. |
artikel |
|||
| 19 | Index |
1999 |
2-3 |
p. 299- 1 p. |
artikel |
|||
| 20 | Induction of logic programs by example-guided unfolding |
Boström, Henrik |
1999 |
2-3 |
p. 159-183 25 p. |
artikel |
||
| 21 | Inductive synthesis of recursive logic programs: achievements and prospects |
Flener, Pierre |
1999 |
2-3 |
p. 141-195 55 p. |
artikel |
||
| 22 | Machine synthesis of mathematical theorems |
Vassilyev, S.N. |
1990 |
2-3 |
p. 235-266 32 p. |
artikel |
||
| 23 | Models of inductive synthesis |
Kinber, E.B. |
1990 |
2-3 |
p. 221-233 13 p. |
artikel |
||
| 24 | Multiple specialization using minimal-function graph semantics |
Winsborough, Will |
1992 |
2-3 |
p. 259-290 32 p. |
artikel |
||
| 25 | Numerical reasoning with an ILP system capable of lazy evaluation and customised search |
Srinivasan, Ashwin |
1999 |
2-3 |
p. 185-213 29 p. |
artikel |
||
| 26 | Optimizing general chain programs |
Rieger, Anke D. |
1999 |
2-3 |
p. 251-271 21 p. |
artikel |
||
| 27 | Problem specification and program synthesis in the system Spora |
Babaev, I.O. |
1990 |
2-3 |
p. 141-157 17 p. |
artikel |
||
| 28 | Propositional logic programming and the Priz system |
Mints, G.E. |
1990 |
2-3 |
p. 179-193 15 p. |
artikel |
||
| 29 | Refutation search for Horn sets by a subgoal-extraction method |
Neiman, V.S. |
1990 |
2-3 |
p. 267-284 18 p. |
artikel |
||
| 30 | Static analysis of logic programs for independent and parallelism |
Jacobs, Dean |
1992 |
2-3 |
p. 291-314 24 p. |
artikel |
||
| 31 | Synthesis and transformation of logic programs using unfold/fold proofs |
Pettorossi, Alberto |
1999 |
2-3 |
p. 197-230 34 p. |
artikel |
||
| 32 | The complexity of revising logic programs |
Greiner, Russell |
1999 |
2-3 |
p. 273-298 26 p. |
artikel |
||
| 33 | Title index to volume 9 |
1990 |
2-3 |
p. 285- 1 p. |
artikel |
33 gevonden resultaten