The Journal of Logic Programming 1992: Vol 12 Index PDF
Preview The Journal of Logic Programming 1992: Vol 12 Index
395 TITLE INDEX TO VOLUME 12 Boolean Valued Models and Incomplete Specifications, Linear Axiomatization of Negation as Failure, A, 1 225 Logic Programming with Functions and Predicates: The Language BABEL, 191 Calculus for the Construction of Modular proLoc Pro- Logic-Programming Specification and Execution of Dy- grams, A, 147 namic-Programming Problems, 325 Comparison of Three proLoc Extensions, A, 25 Compilation of Set Terms in the Logic Data Language Nondeterministic Algebraic Specifications and Noncon- (LDL), 89 fluent Term Rewriting, 237 Database Updates in the Event Calculus, 121 Parallel Evaluation of Datalog Programs by Load Sharing, 369 Expressive Power of Side Effects in PROLOG, The, 179 Programming with Equalities, Subsorts, Overloading, and Parametrization in OBJ, 257 Feature-Constraint Logics for Unification Grammars, 51 Rewrite Rule Systems for Modal Propositional Logic, 281 Implementation of Subset-Equational Programs, 299 Introduction to Special Issue on Algebraic and Logic Theory of Generalized Annotated Logic Programming and Programming, 189 Its Applications, 335 396 AUTHOR INDEX TO VOLUME 12 Cerrito, Serenella, 1 Makowsky, J. A., 179 Clocksin, W. F., 325 Mégrelis, Aristide, 257 Moreno-Navarro, Juan Jose, 191 Dahn, Bernd I., 225 Reed, David W., 25 Foret, Annie, 281 Rodriguez-Artalejo, Mario, 191 Gregoire, J.-C., 179 Sagiv, S., 179 Sannella, D. T., 147 Hussmann, Heinrich, 237 Shmueli, Oded, 89 Smolka, Gert, 51 Jayaraman, Bharat, 299 Subrahmanian, V. S., 335 Jouannuad, Jean-Pierre, 257 Tsur, Shalom, 89 Kifer, Michael, 335 Kirchner, Claude, 257 Kirchner, Héléne, 257 Wallen, L. A., 147 Wechler, Wolfgang, 189 Kowalski, Robert, 121 Wolfson, Ouri, 369 Lescanne, Pierre, 189 Loveland, Donald W., 25 Zaniolo, Carlo, 89
The list of books you might like
