default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic Programming, Volume 43
Volume 43, Number 1, April 2000
- Raghu Ramakrishnan, V. S. Subrahmanian:
Guest Editor's Introduction: Logic-based Heterogeneous Information Systems. 1-2 - Domenico Aquilino, Patrizia Asirelli, A. Formuso, Chiara Renso
, Franco Turini:
Using MedLan to Integrate Geographical Data. 3-14 - Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà:
A Logical Approach to Cooperative Information Systems. 15-48 - Oliver M. Duschka, Michael R. Genesereth, Alon Y. Levy:
Recursive Query Plans for Data Integration. 49-73 - Vasilis Vassalos, Yannis Papakonstantinou:
Expressive Capabilities Description Languages and Query Rewriting Algorithms. 75-122
Volume 43, Number 2, May 2000
- Helmut Seidl, Christian Fecht:
Interprocedural Analyses: A Comparison. 123-156 - Mireille Ducassé, Jacques Noyé:
Tracing Prolog Programs by Source Instrumentation is Efficient Enough. 157-172 - Fernando M. A. Silva, Paul Watson:
Or-Parallel Prolog on a Distributed Memory Architecture. 173-186
Volume 43, Number 3, June 2000
- Alex Dekhtyar, V. S. Subrahmanian:
Hybrid Probabilistic Programs. 187-250 - Michael Codish, Kim Marriott, Cohavit Taboch:
Improving Program Analyses, by Structure Untupling. 251-263 - Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen:
Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments". 265
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 2025-03-07 00:57 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:
