Journal of Logic Programming, Volume 28
Volume 28, Number 1, July 1996
Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi: A Language for Programming in Logic with Finite Sets. 1-44- Sibel Adali, V. S. Subrahmanian: Amalgamating Knowledge Bases, III: Algorithms, Data Structures, and Query Processing. 45-88
Volume 28, Number 2, August 1996
- Krzysztof R. Apt, Maurizio Gabbrielli, Dino Pedreschi: A Closer Look at Declarative Interpretations. 147-180
Volume 28, Number 3, September 1996
- Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe: On the Design of a Correct Freeness Analysis for Logic Programs. 181-206
- Anatoli Degtyarev, Andrei Voronkov: A Note on Semantics of Logic Programs with Equality Based on Complete Sets of E-Unifiers. 207-216
- Thomas Lindgren: Polyvariant Detection of Uninitialized Arguments of Prolog Predicates. 217-229
- Bernhard Beckert, Joachim Posegga: Logic Programming as a Basis for Lean Automated Deduction. 231-236
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team