Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/jlp/jlp21.bht:"
@article{DBLP:journals/jlp/Fitting94, author = {Melvin Fitting}, title = {Metric Methods Three Examples and a Theorem}, journal = {J. Log. Program.}, volume = {21}, number = {3}, pages = {113--127}, year = {1994}, timestamp = {Thu, 27 Nov 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Fitting94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/GiordanoM94, author = {Laura Giordano and Alberto Martelli}, title = {Structuring Logic Programs: {A} Modal Approach}, journal = {J. Log. Program.}, volume = {21}, number = {2}, pages = {59--94}, year = {1994}, url = {https://doi.org/10.1016/0743-1066(94)90001-9}, doi = {10.1016/0743-1066(94)90001-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/GiordanoM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Gire94, author = {Fran{\c{c}}oise Gire}, title = {Equivalence of Well-Founded and Stable Semantics}, journal = {J. Log. Program.}, volume = {21}, number = {2}, pages = {95--111}, year = {1994}, url = {https://doi.org/10.1016/0743-1066(94)90002-7}, doi = {10.1016/0743-1066(94)90002-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Gire94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/MarekNR94, author = {V. Wiktor Marek and Anil Nerode and Jeffrey B. Remmel}, title = {The Stable Models of a Predicate Logic Program}, journal = {J. Log. Program.}, volume = {21}, number = {3}, pages = {129--153}, year = {1994}, timestamp = {Thu, 27 Nov 2003 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/MarekNR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Rschid94, author = {Louiqa Raschid}, title = {A Semantics for a Class of Stratified Production System Programs}, journal = {J. Log. Program.}, volume = {21}, number = {1}, pages = {31--57}, year = {1994}, url = {https://doi.org/10.1016/0743-1066(94)90005-1}, doi = {10.1016/0743-1066(94)90005-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/Rschid94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/ShyamasundarW94, author = {R. K. Shyamasundar and Bal Wang}, title = {A Methodology for Provin Termination of Logic Programs}, journal = {J. Log. Program.}, volume = {21}, number = {1}, pages = {1--30}, year = {1994}, url = {https://doi.org/10.1016/0743-1066(94)90004-3}, doi = {10.1016/0743-1066(94)90004-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/ShyamasundarW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/Vadaparty94, author = {Kumar V. Vadaparty}, title = {On the Power of Rule-Based Query Languages for Nested Data Models}, journal = {J. Log. Program.}, volume = {21}, number = {3}, pages = {155--175}, year = {1994}, timestamp = {Thu, 25 Oct 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jlp/Vadaparty94.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.