The Journal of Logic Programming 1993: Vol 16 Index PDF
Preview The Journal of Logic Programming 1993: Vol 16 Index
TITLE INDEX TO VOLUME 16 Algorithm for Linear Constraint Solving: Its Incorpora- Loop Checking in Partial Deduction, 25 tion in a Prolog Meta-Interpreter for CLP, An, 235 Partial Deduction for Structured Logic Programming, Basic Transformation Operations Which Preserve 89 Computed Answer Substitutions of Logic Programs, Pushing Constraint Selection, 361 47 Towards a Meaning of Life, 195 Generalized Constraint Propagation Over the CLP Towards a Methodology for the Design of Abstract Scheme, 319 Machines for Logic Programming Languages, 163 Hierarchical Constraint Logic Programming, 277 Unfold/Fold Transformation of General Logic Pro- grams for the Well-Founded Semantics, 5 Interval Computation as Deduction in CHIP, 255 Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction, The, 123 AUTHOR INDEX TO VOLUME 16 Ait-Kaci, Hassan, 195 Pettorossi, Alberto, 123 Podelski, Andreas, 195 Bol, Roland, 25 Proietti, Maurizio, 123 Borning, Alan, 277 Provost, Thierry Le, 319 Bossi, A., 47 Bugliesi, Michele, 89 Ramakrishnan, Raghu, 361 Cocco, N., 47 Cohen, Jacques, 235 Seki, Hirohisa, 5 Srivastava, Divesh, 361 Imbert, Jean-Louis, 235 Komorowski, Jan, 1 van Emden, M. H., 255 van Hentenryck, Pascal, 191 Lamma, Evelina, 89 Lee, J. H. M., 255 Mello, Paola, 89 Wallace, Mark, 319 Weeger, Marie-Dominique, 235 Nilsson, Ulf, 163 Wilson, Molly, 277
The list of books you might like
