home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Journal of Logic Programming
, Volume 43
Volume 43, Number 1, April 2000
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/jlp/RamakrishnanS00
ask others
Google
Google Scholar
MS Academic Search
PubZone
Raghu Ramakrishnan
,
V. S. Subrahmanian
:
Guest Editor's Introduction: Logic-based Heterogeneous Information Systems.
1-2
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/jlp/AquilinoAFRT00
ask others
Google
Google Scholar
MS Academic Search
PubZone
Domenico Aquilino
,
Patrizia Asirelli
,
A. Formuso
,
Chiara Renso
,
Franco Turini
:
Using MedLan to Integrate Geographical Data.
3-14
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/jlp/BertinoCGR00
ask others
Google
Google Scholar
MS Academic Search
PubZone
Elisa Bertino
,
Barbara Catania
,
Vincenzo Gervasi
,
Alessandra Raffaetà
:
A Logical Approach to Cooperative Information Systems.
15-48
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/jlp/DuschkaGL00
ask others
Google
Google Scholar
MS Academic Search
PubZone
Oliver M. Duschka
,
Michael R. Genesereth
,
Alon Y. Levy
:
Recursive Query Plans for Data Integration.
49-73
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/jlp/VassalosP00
ask others
Google
Google Scholar
MS Academic Search
PubZone
Vasilis Vassalos
,
Yannis Papakonstantinou
:
Expressive Capabilities Description Languages and Query Rewriting Algorithms.
75-122
Volume 43, Number 2, May 2000
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/jlp/SeidlF00
ask others
Google
Google Scholar
MS Academic Search
PubZone
Helmut Seidl
,
Christian Fecht
:
Interprocedural Analyses: A Comparison.
123-156
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/jlp/DucasseN00
ask others
Google
Google Scholar
MS Academic Search
PubZone
Mireille Ducassé
,
Jacques Noyé
:
Tracing Prolog Programs by Source Instrumentation is Efficient Enough.
157-172
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/jlp/SilvaW00
ask others
Google
Google Scholar
MS Academic Search
PubZone
Fernando M. A. Silva
,
Paul Watson
:
Or-Parallel Prolog on a Distributed Memory Architecture.
173-186
Volume 43, Number 3, June 2000
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/jlp/DekhtyarS00
ask others
Google
Google Scholar
MS Academic Search
PubZone
Alex Dekhtyar
,
V. S. Subrahmanian
:
Hybrid Probabilistic Programs.
187-250
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/jlp/CodishMT00
ask others
Google
Google Scholar
MS Academic Search
PubZone
Michael Codish
,
Kim Marriott
,
Cohavit Taboch
:
Improving Program Analyses, by Structure Untupling.
251-263
view
electronic edition @ doi.org
export record as
BibTeX
XML
dblp key:
journals/jlp/SchreyeDJLMS00
ask others
Google
Google Scholar
MS Academic Search
PubZone
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