default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
- Bern Martens, Danny De Schreye:
Automatic Finite Unfolding Using Well-Founded Measures. 89-146 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-02 21:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
