Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/jlp/jlp28.bht:"
@article{DBLP:journals/jlp/AdaliS96, author = {Sibel Adali and V. S. Subrahmanian}, title = {Amalgamating Knowledge Bases, {III:} Algorithms, Data Structures, and Query Processing}, journal = {J. Log. Program.}, volume = {28}, number = {1}, pages = {45--88}, year = {1996}, url = {https://doi.org/10.1016/0743-1066(95)00148-4}, doi = {10.1016/0743-1066(95)00148-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/AdaliS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/AptGP96, author = {Krzysztof R. Apt and Maurizio Gabbrielli and Dino Pedreschi}, title = {A Closer Look at Declarative Interpretations}, journal = {J. Log. Program.}, volume = {28}, number = {2}, pages = {147--180}, year = {1996}, url = {https://doi.org/10.1016/0743-1066(95)00150-6}, doi = {10.1016/0743-1066(95)00150-6}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/AptGP96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/BeckertP96, author = {Bernhard Beckert and Joachim Posegga}, title = {Logic Programming as a Basis for Lean Automated Deduction}, journal = {J. Log. Program.}, volume = {28}, number = {3}, pages = {231--236}, year = {1996}, url = {https://doi.org/10.1016/0743-1066(96)00054-4}, doi = {10.1016/0743-1066(96)00054-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/BeckertP96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/CodishDFB96, author = {Michael Codish and Dennis Dams and Gilberto Fil{\'{e}} and Maurice Bruynooghe}, title = {On the Design of a Correct Freeness Analysis for Logic Programs}, journal = {J. Log. Program.}, volume = {28}, number = {3}, pages = {181--206}, year = {1996}, url = {https://doi.org/10.1016/0743-1066(95)00120-4}, doi = {10.1016/0743-1066(95)00120-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/CodishDFB96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/DegtyarevV96, author = {Anatoli Degtyarev and Andrei Voronkov}, title = {A Note on Semantics of Logic Programs with Equality Based on Complete Sets of E-Unifiers}, journal = {J. Log. Program.}, volume = {28}, number = {3}, pages = {207--216}, year = {1996}, url = {https://doi.org/10.1016/0743-1066(96)00049-0}, doi = {10.1016/0743-1066(96)00049-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/DegtyarevV96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/DovierOPR96, author = {Agostino Dovier and Eugenio G. Omodeo and Enrico Pontelli and Gianfranco Rossi}, title = {A Language for Programming in Logic with Finite Sets}, journal = {J. Log. Program.}, volume = {28}, number = {1}, pages = {1--44}, year = {1996}, url = {https://doi.org/10.1016/0743-1066(95)00147-6}, doi = {10.1016/0743-1066(95)00147-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/DovierOPR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Lindgren96, author = {Thomas Lindgren}, title = {Polyvariant Detection of Uninitialized Arguments of Prolog Predicates}, journal = {J. Log. Program.}, volume = {28}, number = {3}, pages = {217--229}, year = {1996}, url = {https://doi.org/10.1016/0743-1066(96)00050-7}, doi = {10.1016/0743-1066(96)00050-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Lindgren96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/MartensS96, author = {Bern Martens and Danny De Schreye}, title = {Automatic Finite Unfolding Using Well-Founded Measures}, journal = {J. Log. Program.}, volume = {28}, number = {2}, pages = {89--146}, year = {1996}, url = {https://doi.org/10.1016/0743-1066(95)00149-2}, doi = {10.1016/0743-1066(95)00149-2}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/MartensS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.