Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jlp/jlp16.bht:"
download as .bib file
@article{DBLP:journals/jlp/Ait-KaciP93,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski},
title = {Towards a Meaning of {LIFE}},
journal = {J. Log. Program.},
volume = {16},
number = {3},
pages = {195--234},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90043-G},
doi = {10.1016/0743-1066(93)90043-G},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Ait-KaciP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Bol93a,
author = {Roland N. Bol},
title = {Loop checking in partial deduction},
journal = {J. Log. Program.},
volume = {16},
number = {1},
pages = {25--46},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90022-9},
doi = {10.1016/0743-1066(93)90022-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Bol93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BossiC93,
author = {Annalisa Bossi and
Nicoletta Cocco},
title = {Basic Transformation Operations which Preserve Computed Answer Substitutions
of Logic Programs},
journal = {J. Log. Program.},
volume = {16},
number = {1},
pages = {47--87},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90023-A},
doi = {10.1016/0743-1066(93)90023-A},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BossiC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BugliesiLM93,
author = {Michele Bugliesi and
Evelina Lamma and
Paola Mello},
title = {Partial Deduction for Structured Logic Programming},
journal = {J. Log. Program.},
volume = {16},
number = {1},
pages = {89--122},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90024-B},
doi = {10.1016/0743-1066(93)90024-B},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BugliesiLM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ImbertCW93,
author = {Jean{-}Louis Imbert and
Jacques Cohen and
Marie{-}Dominique Weeger},
title = {An Algorithm for Linear Constraint Solving: Its Incorporation in a
Prolog Meta-Interpreter for {CLP}},
journal = {J. Log. Program.},
volume = {16},
number = {3},
pages = {235--253},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90044-H},
doi = {10.1016/0743-1066(93)90044-H},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ImbertCW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Komorowski93,
author = {Henryk Jan Komorowski},
title = {Guest Editor's Introduction},
journal = {J. Log. Program.},
volume = {16},
number = {1},
pages = {1--3},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90020-H},
doi = {10.1016/0743-1066(93)90020-H},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Komorowski93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LeeE93,
author = {Jimmy Ho{-}Man Lee and
Maarten H. van Emden},
title = {Interval Computation as Deduction in {CHIP}},
journal = {J. Log. Program.},
volume = {16},
number = {3},
pages = {255--276},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90045-I},
doi = {10.1016/0743-1066(93)90045-I},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/LeeE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Nilsson93,
author = {Ulf Nilsson},
title = {Towards a Methodology for the Design of Abstract Machines for Logic
Programming Languages},
journal = {J. Log. Program.},
volume = {16},
number = {1},
pages = {163--189},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90026-D},
doi = {10.1016/0743-1066(93)90026-D},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Nilsson93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ProiettiP93,
author = {Maurizio Proietti and
Alberto Pettorossi},
title = {The Loop Absorption and the Generalization Strategies for the Development
of Logic Programs and Partial Deduction},
journal = {J. Log. Program.},
volume = {16},
number = {1},
pages = {123--161},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90025-C},
doi = {10.1016/0743-1066(93)90025-C},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ProiettiP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/ProvostW93,
author = {Thierry Le Provost and
Mark Wallace},
title = {Generalized Constraint Propagation over the {CLP} Scheme},
journal = {J. Log. Program.},
volume = {16},
number = {3},
pages = {319--359},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90047-K},
doi = {10.1016/0743-1066(93)90047-K},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/ProvostW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Seki93,
author = {Hirohisa Seki},
title = {Unfold/Fold Transformation of General Logic Programs for the Well-Founded
Semantics},
journal = {J. Log. Program.},
volume = {16},
number = {1},
pages = {5--23},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90021-8},
doi = {10.1016/0743-1066(93)90021-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Seki93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SrivastavaR93,
author = {Divesh Srivastava and
Raghu Ramakrishnan},
title = {Pushing Constraint Selections},
journal = {J. Log. Program.},
volume = {16},
number = {3},
pages = {361--414},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90048-L},
doi = {10.1016/0743-1066(93)90048-L},
timestamp = {Thu, 02 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/SrivastavaR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/WilsonB93,
author = {Molly Wilson and
Alan Borning},
title = {Hierarchical Constraint Logic Programming},
journal = {J. Log. Program.},
volume = {16},
number = {3},
pages = {277--318},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90046-J},
doi = {10.1016/0743-1066(93)90046-J},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/WilsonB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-08-07 07:05 CEST from data curated 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:
