Search dblp for Publications

export results for "toc:db/journals/jlp/jlp15.bht:"

 download as .bib file

@article{DBLP:journals/jlp/Bezem93,
  author       = {Marc Bezem},
  title        = {Strong Termination of Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {15},
  number       = {1{\&}2},
  pages        = {79--97},
  year         = {1993},
  url          = {https://doi.org/10.1016/0743-1066(93)90014-8},
  doi          = {10.1016/0743-1066(93)90014-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Bezem93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Bol93,
  author       = {Roland N. Bol},
  title        = {Loop Checking and Negation},
  journal      = {J. Log. Program.},
  volume       = {15},
  number       = {1{\&}2},
  pages        = {147--175},
  year         = {1993},
  url          = {https://doi.org/10.1016/0743-1066(93)90017-B},
  doi          = {10.1016/0743-1066(93)90017-B},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Bol93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BrogiG93,
  author       = {Antonio Brogi and
                  Roberto Gorrieri},
  title        = {Distributed Logic Programming},
  journal      = {J. Log. Program.},
  volume       = {15},
  number       = {4},
  pages        = {295--335},
  year         = {1993},
  timestamp    = {Thu, 27 Nov 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BrogiG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/ChenKW93,
  author       = {Weidong Chen and
                  Michael Kifer and
                  David Scott Warren},
  title        = {{HILOG:} {A} Foundation for Higher-Order Logic Programming},
  journal      = {J. Log. Program.},
  volume       = {15},
  number       = {3},
  pages        = {187--230},
  year         = {1993},
  url          = {https://doi.org/10.1016/0743-1066(93)90039-J},
  doi          = {10.1016/0743-1066(93)90039-J},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/ChenKW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Hooker93,
  author       = {John N. Hooker},
  title        = {Solving the incremental satisfiability problem},
  journal      = {J. Log. Program.},
  volume       = {15},
  number       = {1{\&}2},
  pages        = {177--186},
  year         = {1993},
  url          = {https://doi.org/10.1016/0743-1066(93)90018-C},
  doi          = {10.1016/0743-1066(93)90018-C},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Hooker93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Hrycej93,
  author       = {Tomas Hrycej},
  title        = {A Temporal Extension of Prolog},
  journal      = {J. Log. Program.},
  volume       = {15},
  number       = {1{\&}2},
  pages        = {113--145},
  year         = {1993},
  url          = {https://doi.org/10.1016/0743-1066(93)90016-A},
  doi          = {10.1016/0743-1066(93)90016-A},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Hrycej93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/JagerS93,
  author       = {Gerhard J{\"{a}}ger and
                  Robert F. St{\"{a}}rk},
  title        = {The Defining Power of Stratified and Hierarchical Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {15},
  number       = {1{\&}2},
  pages        = {55--77},
  year         = {1993},
  url          = {https://doi.org/10.1016/0743-1066(93)90013-7},
  doi          = {10.1016/0743-1066(93)90013-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/JagerS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Kanamori93,
  author       = {Tadashi Kanamori},
  title        = {Abstract Interpretation Based on Alexander Templates},
  journal      = {J. Log. Program.},
  volume       = {15},
  number       = {1{\&}2},
  pages        = {31--54},
  year         = {1993},
  url          = {https://doi.org/10.1016/0743-1066(93)90012-6},
  doi          = {10.1016/0743-1066(93)90012-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Kanamori93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/KanamoriK93,
  author       = {Tadashi Kanamori and
                  Tadashi Kawamura},
  title        = {Abstract Interpretation based on {OLDT} Resolution},
  journal      = {J. Log. Program.},
  volume       = {15},
  number       = {1{\&}2},
  pages        = {1--30},
  year         = {1993},
  url          = {https://doi.org/10.1016/0743-1066(93)90011-5},
  doi          = {10.1016/0743-1066(93)90011-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/KanamoriK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Lozinskii93,
  author       = {Eliezer L. Lozinskii},
  title        = {A Simple Test Improves Checking Satisfiability},
  journal      = {J. Log. Program.},
  volume       = {15},
  number       = {1{\&}2},
  pages        = {99--111},
  year         = {1993},
  url          = {https://doi.org/10.1016/0743-1066(93)90015-9},
  doi          = {10.1016/0743-1066(93)90015-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Lozinskii93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Shmueli93,
  author       = {Oded Shmueli},
  title        = {Equivalence of {DATALOG} Queries is Undecidable},
  journal      = {J. Log. Program.},
  volume       = {15},
  number       = {3},
  pages        = {231--241},
  year         = {1993},
  url          = {https://doi.org/10.1016/0743-1066(93)90040-N},
  doi          = {10.1016/0743-1066(93)90040-N},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Shmueli93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Stroetmann93,
  author       = {Karl Stroetmann},
  title        = {A Completeness Result for SLDNF-Resolution},
  journal      = {J. Log. Program.},
  volume       = {15},
  number       = {4},
  pages        = {337--355},
  year         = {1993},
  timestamp    = {Tue, 26 Aug 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Stroetmann93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Wallace93,
  author       = {Mark Wallace},
  title        = {Tight, Consistent and Computable Completions for Unrestricted Logic
                  Programs},
  journal      = {J. Log. Program.},
  volume       = {15},
  number       = {3},
  pages        = {243--273},
  year         = {1993},
  url          = {https://doi.org/10.1016/0743-1066(93)90041-E},
  doi          = {10.1016/0743-1066(93)90041-E},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Wallace93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Zhou93,
  author       = {Neng{-}Fa Zhou},
  title        = {Global Optimizations in a Prolog Compiler for the {TOAM}},
  journal      = {J. Log. Program.},
  volume       = {15},
  number       = {4},
  pages        = {275--294},
  year         = {1993},
  timestamp    = {Thu, 27 Nov 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Zhou93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.