Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jlp/DowlingG84,
  author       = {William F. Dowling and
                  Jean H. Gallier},
  title        = {Linear-Time Algorithms for Testing the Satisfiability of Propositional
                  Horn Formulae},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {3},
  pages        = {267--284},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90014-1},
  doi          = {10.1016/0743-1066(84)90014-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/DowlingG84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/DworkKM84,
  author       = {Cynthia Dwork and
                  Paris C. Kanellakis and
                  John C. Mitchell},
  title        = {On the Sequential Nature of Unification},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {1},
  pages        = {35--50},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90022-0},
  doi          = {10.1016/0743-1066(84)90022-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/DworkKM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/EmdenL84,
  author       = {Maarten H. van Emden and
                  John W. Lloyd},
  title        = {A Logical Reconstruction of Prolog {II}},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {2},
  pages        = {143--149},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90001-3},
  doi          = {10.1016/0743-1066(84)90001-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/EmdenL84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Eriksson84,
  author       = {Lars{-}Henrik Eriksson},
  title        = {Synthesis of a Unification Algorithm in a Logic Programming Calculus},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {1},
  pages        = {3--18},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90020-7},
  doi          = {10.1016/0743-1066(84)90020-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Eriksson84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Fribourg84,
  author       = {Laurent Fribourg},
  title        = {Oriented Equational Clauses as a Programming Language},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {2},
  pages        = {165--177},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90003-7},
  doi          = {10.1016/0743-1066(84)90003-7},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Fribourg84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/GabbayR84,
  author       = {Dov M. Gabbay and
                  Uwe Reyle},
  title        = {N-Prolog: An Extension of Prolog with Hypothetical Implications {I}},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {4},
  pages        = {319--355},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90029-3},
  doi          = {10.1016/0743-1066(84)90029-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/GabbayR84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/GiannesiniC84,
  author       = {Francis Giannesini and
                  Jacques Cohen},
  title        = {Parser Generation and Grammar Manipulation Using Prolog's Infinite
                  Trees},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {3},
  pages        = {253--265},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90013-X},
  doi          = {10.1016/0743-1066(84)90013-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/GiannesiniC84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/GoguenM84,
  author       = {Joseph A. Goguen and
                  Jos{\'{e}} Meseguer},
  title        = {Equality, Types, Modules, and (Why not ?) Generics for Logic Programming},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {2},
  pages        = {179--210},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90004-9},
  doi          = {10.1016/0743-1066(84)90004-9},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/GoguenM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/JaffarLM84,
  author       = {Joxan Jaffar and
                  Jean{-}Louis Lassez and
                  Michael J. Maher},
  title        = {A Theory of Complete Logic Programs with Equality},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {3},
  pages        = {211--223},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90010-4},
  doi          = {10.1016/0743-1066(84)90010-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/JaffarLM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/LloydT84,
  author       = {John W. Lloyd and
                  Rodney W. Topor},
  title        = {Making Prolog more Expressive},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {3},
  pages        = {225--240},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90011-6},
  doi          = {10.1016/0743-1066(84)90011-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/LloydT84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Naish84,
  author       = {Lee Naish},
  title        = {Heterogeneous {SLD} Resolution},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {4},
  pages        = {297--303},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90027-X},
  doi          = {10.1016/0743-1066(84)90027-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Naish84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Nakamura84,
  author       = {Katsuhiko Nakamura},
  title        = {Associative Concurrent Evaluation of Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {4},
  pages        = {285--295},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90026-8},
  doi          = {10.1016/0743-1066(84)90026-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Nakamura84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/PoeNPS84,
  author       = {Michael D. Poe and
                  Roger Nasr and
                  Janett Potter and
                  Janet Slinn},
  title        = {A {KWIC} (Key Word in Context) Bibliography on Prolog and Logic Programming},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {1},
  pages        = {81--142},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90024-4},
  doi          = {10.1016/0743-1066(84)90024-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/PoeNPS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Revesz84,
  author       = {Gy{\"{o}}rgy E. R{\'{e}}v{\'{e}}sz},
  title        = {An Extension of Lambda-Calculus for Functional Programming},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {3},
  pages        = {241--251},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90012-8},
  doi          = {10.1016/0743-1066(84)90012-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Revesz84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Robinson84,
  author       = {John Alan Robinson},
  title        = {Editor's Introduction},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {1},
  pages        = {1--2},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90019-0},
  doi          = {10.1016/0743-1066(84)90019-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Robinson84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Shapiro84,
  author       = {Ehud Y. Shapiro},
  title        = {Alternation and the Computational Complexity of Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {1},
  pages        = {19--33},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90021-9},
  doi          = {10.1016/0743-1066(84)90021-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Shapiro84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Shepherdson84,
  author       = {John C. Shepherdson},
  title        = {Negation as Failure: {A} Comparison of Clark's Completed Data Base
                  and Reiter's Closed World Assumption},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {1},
  pages        = {51--79},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90023-2},
  doi          = {10.1016/0743-1066(84)90023-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Shepherdson84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/StepankovaS84,
  author       = {Olga Step{\'{a}}nkov{\'{a}} and
                  Petr Step{\'{a}}nek},
  title        = {Transformations of Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {4},
  pages        = {305--318},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90028-1},
  doi          = {10.1016/0743-1066(84)90028-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/StepankovaS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Sterling84,
  author       = {Leon Sterling},
  title        = {Logical Levels of Problem Solving},
  journal      = {J. Log. Program.},
  volume       = {1},
  number       = {2},
  pages        = {151--163},
  year         = {1984},
  url          = {https://doi.org/10.1016/0743-1066(84)90002-5},
  doi          = {10.1016/0743-1066(84)90002-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Sterling84.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.