Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jlp/Beer88,
  author       = {Joachim Beer},
  title        = {The Occur-Check Problem Revisited},
  journal      = {J. Log. Program.},
  volume       = {5},
  number       = {3},
  pages        = {243--261},
  year         = {1988},
  url          = {https://doi.org/10.1016/0743-1066(88)90012-X},
  doi          = {10.1016/0743-1066(88)90012-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Beer88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Clocksin88,
  author       = {W. F. Clocksin},
  title        = {A Technique for Translating Clausal Specifications of Numerical Methods
                  into Efficient Programs},
  journal      = {J. Log. Program.},
  volume       = {5},
  number       = {3},
  pages        = {231--242},
  year         = {1988},
  url          = {https://doi.org/10.1016/0743-1066(88)90011-8},
  doi          = {10.1016/0743-1066(88)90011-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Clocksin88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/DebrayM88,
  author       = {Saumya K. Debray and
                  Prateek Mishra},
  title        = {Denotational and Operational Semantics for Prolog},
  journal      = {J. Log. Program.},
  volume       = {5},
  number       = {1},
  pages        = {81--91},
  year         = {1988},
  url          = {https://doi.org/10.1016/0743-1066(88)90007-6},
  doi          = {10.1016/0743-1066(88)90007-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/DebrayM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/DebrayW88,
  author       = {Saumya K. Debray and
                  David Scott Warren},
  title        = {Automatic Mode Inference for Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {5},
  number       = {3},
  pages        = {207--229},
  year         = {1988},
  url          = {https://doi.org/10.1016/0743-1066(88)90010-6},
  doi          = {10.1016/0743-1066(88)90010-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/DebrayW88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/DemolombeC88,
  author       = {Robert Demolombe and
                  Luis Fari{\~{n}}as del Cerro},
  title        = {An Algebraic Evaluation Method for Deduction in Incomplete Data Bases},
  journal      = {J. Log. Program.},
  volume       = {5},
  number       = {3},
  pages        = {183--206},
  year         = {1988},
  url          = {https://doi.org/10.1016/0743-1066(88)90009-X},
  doi          = {10.1016/0743-1066(88)90009-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/DemolombeC88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/EisenstadtB88,
  author       = {Marc Eisenstadt and
                  Mike Brayshaw},
  title        = {The Transparent Prolog Machine {(TPM):} An Execution Model and Graphical
                  Debugger for Logic Programming},
  journal      = {J. Log. Program.},
  volume       = {5},
  number       = {4},
  pages        = {277--342},
  year         = {1988},
  url          = {https://doi.org/10.1016/0743-1066(88)90001-5},
  doi          = {10.1016/0743-1066(88)90001-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/EisenstadtB88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Golson88,
  author       = {William G. Golson},
  title        = {Toward a Declarative Semantics for Infinite Objects in Logic Programming},
  journal      = {J. Log. Program.},
  volume       = {5},
  number       = {2},
  pages        = {151--164},
  year         = {1988},
  url          = {https://doi.org/10.1016/0743-1066(88)90016-7},
  doi          = {10.1016/0743-1066(88)90016-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Golson88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/KumarL88,
  author       = {Vipin Kumar and
                  Yow{-}Jian Lin},
  title        = {A Data-Dependency-Based Intelligent Backtracking Scheme for Prolog},
  journal      = {J. Log. Program.},
  volume       = {5},
  number       = {2},
  pages        = {165--181},
  year         = {1988},
  url          = {https://doi.org/10.1016/0743-1066(88)90017-9},
  doi          = {10.1016/0743-1066(88)90017-9},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/KumarL88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/MancarellaMP88,
  author       = {Paolo Mancarella and
                  Simone Martini and
                  Dino Pedreschi},
  title        = {Complete Logic Programs with Domain-Closure Axiom},
  journal      = {J. Log. Program.},
  volume       = {5},
  number       = {3},
  pages        = {263--276},
  year         = {1988},
  url          = {https://doi.org/10.1016/0743-1066(88)90013-1},
  doi          = {10.1016/0743-1066(88)90013-1},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/MancarellaMP88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/McCarty88,
  author       = {L. Thorne McCarty},
  title        = {Clausal Intuitionistic Logic {I} - Fixed-Point Semantics},
  journal      = {J. Log. Program.},
  volume       = {5},
  number       = {1},
  pages        = {1--31},
  year         = {1988},
  url          = {https://doi.org/10.1016/0743-1066(88)90005-2},
  doi          = {10.1016/0743-1066(88)90005-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/McCarty88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/McCarty88a,
  author       = {L. Thorne McCarty},
  title        = {Clausal Intuitionistic Logic {II} - Tableau Proof Procedures},
  journal      = {J. Log. Program.},
  volume       = {5},
  number       = {2},
  pages        = {93--132},
  year         = {1988},
  url          = {https://doi.org/10.1016/0743-1066(88)90014-3},
  doi          = {10.1016/0743-1066(88)90014-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/McCarty88a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Minker88,
  author       = {Jack Minker},
  title        = {Perspectives in Deductive Databases},
  journal      = {J. Log. Program.},
  volume       = {5},
  number       = {1},
  pages        = {33--60},
  year         = {1988},
  url          = {https://doi.org/10.1016/0743-1066(88)90006-4},
  doi          = {10.1016/0743-1066(88)90006-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Minker88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/StaplesR88,
  author       = {John Staples and
                  Peter J. Robinson},
  title        = {Efficient Unification of Quantified Terms},
  journal      = {J. Log. Program.},
  volume       = {5},
  number       = {2},
  pages        = {133--149},
  year         = {1988},
  url          = {https://doi.org/10.1016/0743-1066(88)90015-5},
  doi          = {10.1016/0743-1066(88)90015-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/StaplesR88.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.