The Journal of Logic Programming 1995: Vol 22 Index

2 Pages·1995·0.24 MB·English

NORTH - HOLLAND
TITLE INDEX TO VOLUME 22
Analyses of Unsatisfiability for Equational Logic Pro- Strict and Nonstrict Independent and-Parallelism in
gramming, 223 Logic Programs: Correctness, Efficiency, and
Compile-Time Conditions, 1
Argumentation-theoretic Foundation for Logic Pro-
gramming, An, 151 Type Analysis of Prolog Using Type Graphs, 179
Autoepistemic Logics as a Unifying Framework for the Why Untyped NonGround MetaProgramming is Not
Semantics of Logic Programs, 91 (Vol. 22, No. 2) (Much of) a Problem, 47
Equivalence of Semantics for Normal Logic Programs,
On the, 211
THE JOURNAL OF LOGIC PROGRAMMING
0743-1066 /95 /$9.50
© Elsevier Science Inc., 1995
SSDI 0743-1066(95)00009-9
655 Avenue of the Americas, New York, NY 10010
NORTH - HOLLAND
AUTHOR INDEX TO VOLUME 22
Alpuente, Maria, 223 Le Charlier, Baudouin, 179
Bonatti, Piero A., 91 (Vol. 22, No. 2) Manzo, Ferdinando, 223
Martens, Bern, 47
Cortesi, Agostino, 179
Rossi, Francesca, 1
De Schreye, Danny, 47
Dung, Phan Minh, 151 Van Hentenryck, Pascal, 179
Falaschi, Moreno, 223 You, Jia-Huai, 211
: Yuan, Li Yan, 211
Hermenegildo, Manuel V., 1
THE JOURNAL OF LOGIC PROGRAMMING
© Elsevier Science Inc., 1995 0743-1066 /95 /$9.50
655 Avenue of the Americas, New York, NY 10010 SSDI 0743-1066(95)00010-H