Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlp/CavedonL89,
  author       = {Lawrence Cavedon and
                  John W. Lloyd},
  title        = {A Completeness Theorem for {SLDNF} Resolution},
  journal      = {J. Log. Program.},
  volume       = {7},
  number       = {3},
  pages        = {177--191},
  year         = {1989},
  url          = {https://doi.org/10.1016/0743-1066(89)90020-4},
  doi          = {10.1016/0743-1066(89)90020-4},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/CavedonL89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/CiepielewskiHH89,
  author       = {Andrzej Ciepielewski and
                  Seif Haridi and
                  Bogumil Hausman},
  title        = {Or-Parallel Prolog on Shared Memory Multiprocessors},
  journal      = {J. Log. Program.},
  volume       = {7},
  number       = {2},
  pages        = {125--148},
  year         = {1989},
  url          = {https://doi.org/10.1016/0743-1066(89)90012-5},
  doi          = {10.1016/0743-1066(89)90012-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/CiepielewskiHH89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Debray89,
  author       = {Saumya K. Debray},
  title        = {Flow Analysis of Dynamic Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {7},
  number       = {2},
  pages        = {149--176},
  year         = {1989},
  url          = {https://doi.org/10.1016/0743-1066(89)90013-7},
  doi          = {10.1016/0743-1066(89)90013-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Debray89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/GalloU89,
  author       = {Giorgio Gallo and
                  Giampaolo Urbani},
  title        = {Algorithms for Testing the Satisfiability of Propositional Formulae},
  journal      = {J. Log. Program.},
  volume       = {7},
  number       = {1},
  pages        = {45--61},
  year         = {1989},
  url          = {https://doi.org/10.1016/0743-1066(89)90009-5},
  doi          = {10.1016/0743-1066(89)90009-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/GalloU89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/HickeyM89,
  author       = {Timothy J. Hickey and
                  Shyam Mudambi},
  title        = {Global Compilation of Prolog},
  journal      = {J. Log. Program.},
  volume       = {7},
  number       = {3},
  pages        = {193--230},
  year         = {1989},
  url          = {https://doi.org/10.1016/0743-1066(89)90021-6},
  doi          = {10.1016/0743-1066(89)90021-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HickeyM89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/HouriS89,
  author       = {Avshalom Houri and
                  Ehud Shapiro},
  title        = {A Sequential Abstract Machine for Flat Concurrent Prolog},
  journal      = {J. Log. Program.},
  volume       = {7},
  number       = {2},
  pages        = {85--123},
  year         = {1989},
  url          = {https://doi.org/10.1016/0743-1066(89)90011-3},
  doi          = {10.1016/0743-1066(89)90011-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/HouriS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Kunen89,
  author       = {Kenneth Kunen},
  title        = {Signed Data Dependencies in Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {7},
  number       = {3},
  pages        = {231--245},
  year         = {1989},
  url          = {https://doi.org/10.1016/0743-1066(89)90022-8},
  doi          = {10.1016/0743-1066(89)90022-8},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Kunen89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Naish89,
  author       = {Lee Naish},
  title        = {Proving Properties of Committed Choice Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {7},
  number       = {1},
  pages        = {63--84},
  year         = {1989},
  url          = {https://doi.org/10.1016/0743-1066(89)90010-1},
  doi          = {10.1016/0743-1066(89)90010-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Naish89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Nardi89,
  author       = {Daniele Nardi},
  title        = {Formal Synthesis of a Unification Algorithm by the Deductive-Tableau
                  Method},
  journal      = {J. Log. Program.},
  volume       = {7},
  number       = {1},
  pages        = {1--43},
  year         = {1989},
  url          = {https://doi.org/10.1016/0743-1066(89)90008-3},
  doi          = {10.1016/0743-1066(89)90008-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Nardi89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}