Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jlp/AusielloI91,
  author       = {Giorgio Ausiello and
                  Giuseppe F. Italiano},
  title        = {On-Line Algorithms for Polynomially Solvable Satisfiability Problems},
  journal      = {J. Log. Program.},
  volume       = {10},
  number       = {1},
  pages        = {69--90},
  year         = {1991},
  url          = {https://doi.org/10.1016/0743-1066(91)90006-B},
  doi          = {10.1016/0743-1066(91)90006-B},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/AusielloI91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BeeriNST91,
  author       = {Catriel Beeri and
                  Shamim A. Naqvi and
                  Oded Shmueli and
                  Shalom Tsur},
  title        = {Set Constructors in a Logic Database Language},
  journal      = {J. Log. Program.},
  volume       = {10},
  number       = {3{\&}4},
  pages        = {181--232},
  year         = {1991},
  url          = {https://doi.org/10.1016/0743-1066(91)90036-O},
  doi          = {10.1016/0743-1066(91)90036-O},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BeeriNST91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BeeriR91,
  author       = {Catriel Beeri and
                  Raghu Ramakrishnan},
  title        = {On the Power of Magic},
  journal      = {J. Log. Program.},
  volume       = {10},
  number       = {3{\&}4},
  pages        = {255--299},
  year         = {1991},
  url          = {https://doi.org/10.1016/0743-1066(91)90038-Q},
  doi          = {10.1016/0743-1066(91)90038-Q},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BeeriR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Bruynooghe91,
  author       = {Maurice Bruynooghe},
  title        = {A Practical Framework for the Abstract Interpretation of Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {10},
  number       = {2},
  pages        = {91--124},
  year         = {1991},
  url          = {https://doi.org/10.1016/0743-1066(91)80001-T},
  doi          = {10.1016/0743-1066(91)80001-T},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Bruynooghe91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Colomb91,
  author       = {Robert M. Colomb},
  title        = {Enhancing Unification in Prolog through Clause Indexing},
  journal      = {J. Log. Program.},
  volume       = {10},
  number       = {1},
  pages        = {23--44},
  year         = {1991},
  url          = {https://doi.org/10.1016/0743-1066(91)90004-9},
  doi          = {10.1016/0743-1066(91)90004-9},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Colomb91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Foster91,
  author       = {Ian T. Foster},
  title        = {A Declarative State Transition System},
  journal      = {J. Log. Program.},
  volume       = {10},
  number       = {1},
  pages        = {45--67},
  year         = {1991},
  url          = {https://doi.org/10.1016/0743-1066(91)90005-A},
  doi          = {10.1016/0743-1066(91)90005-A},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Foster91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/GrahneSS91,
  author       = {G{\"{o}}sta Grahne and
                  Seppo Sippu and
                  Eljas Soisalon{-}Soininen},
  title        = {Efficient Evaluation for a Subset of Recursive Queries},
  journal      = {J. Log. Program.},
  volume       = {10},
  number       = {3{\&}4},
  pages        = {301--332},
  year         = {1991},
  url          = {https://doi.org/10.1016/0743-1066(91)90039-R},
  doi          = {10.1016/0743-1066(91)90039-R},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/GrahneSS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/LinK91,
  author       = {Yow{-}Jian Lin and
                  Vipin Kumar},
  title        = {AND-Parallel Execution of Logic Programs on a Shared-Memory Multiprocessor},
  journal      = {J. Log. Program.},
  volume       = {10},
  number       = {2},
  pages        = {155--178},
  year         = {1991},
  url          = {https://doi.org/10.1016/0743-1066(91)80003-V},
  doi          = {10.1016/0743-1066(91)80003-V},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/LinK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Marchetti-SpaccamelaPS91,
  author       = {Alberto Marchetti{-}Spaccamela and
                  Antonella Pelaggi and
                  Domenico Sacc{\`{a}}},
  title        = {Comparison of Methods for Logic-Query Implementation},
  journal      = {J. Log. Program.},
  volume       = {10},
  number       = {3{\&}4},
  pages        = {333--360},
  year         = {1991},
  url          = {https://doi.org/10.1016/0743-1066(91)90040-V},
  doi          = {10.1016/0743-1066(91)90040-V},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Marchetti-SpaccamelaPS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/NaughtonS91,
  author       = {Jeffrey F. Naughton and
                  Yehoshua Sagiv},
  title        = {A Simple Characterization of Uniform Boundedness for a Class of Recursions},
  journal      = {J. Log. Program.},
  volume       = {10},
  number       = {3{\&}4},
  pages        = {233--252},
  year         = {1991},
  url          = {https://doi.org/10.1016/0743-1066(91)90037-P},
  doi          = {10.1016/0743-1066(91)90037-P},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/NaughtonS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Shepherdson91,
  author       = {John C. Shepherdson},
  title        = {Unsolvable Problems for {SLDNF} Resolution},
  journal      = {J. Log. Program.},
  volume       = {10},
  number       = {1},
  pages        = {19--22},
  year         = {1991},
  url          = {https://doi.org/10.1016/0743-1066(91)90003-8},
  doi          = {10.1016/0743-1066(91)90003-8},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Shepherdson91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Tanaka91,
  author       = {Takushi Tanaka},
  title        = {Definite-Clause Set Grammars: {A} Formalism for Problem Solving},
  journal      = {J. Log. Program.},
  volume       = {10},
  number       = {1},
  pages        = {1--17},
  year         = {1991},
  url          = {https://doi.org/10.1016/0743-1066(91)90002-7},
  doi          = {10.1016/0743-1066(91)90002-7},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Tanaka91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Vardi91,
  author       = {Moshe Y. Vardi},
  title        = {Database Logic Programming},
  journal      = {J. Log. Program.},
  volume       = {10},
  number       = {3{\&}4},
  pages        = {179--180},
  year         = {1991},
  url          = {https://doi.org/10.1016/0743-1066(91)90035-N},
  doi          = {10.1016/0743-1066(91)90035-N},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/Vardi91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/YardeniS91,
  author       = {Eyal Yardeni and
                  Ehud Shapiro},
  title        = {A Type System for Logic Programs},
  journal      = {J. Log. Program.},
  volume       = {10},
  number       = {2},
  pages        = {125--153},
  year         = {1991},
  url          = {https://doi.org/10.1016/0743-1066(91)80002-U},
  doi          = {10.1016/0743-1066(91)80002-U},
  timestamp    = {Thu, 04 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/YardeniS91.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.