Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/jar/jar15.bht:"
@article{DBLP:journals/jar/BaaderH95a, author = {Franz Baader and Bernhard Hollunder}, title = {Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic}, journal = {J. Autom. Reason.}, volume = {15}, number = {1}, pages = {41--68}, year = {1995}, url = {https://doi.org/10.1007/BF00881830}, doi = {10.1007/BF00881830}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BaaderH95a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BeckertP95, author = {Bernhard Beckert and Joachim Posegga}, title = {leanTAP: Lean Tableau-based Deduction}, journal = {J. Autom. Reason.}, volume = {15}, number = {3}, pages = {339--358}, year = {1995}, url = {https://doi.org/10.1007/BF00881804}, doi = {10.1007/BF00881804}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BeckertP95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/DAgostinoMP95, author = {Giovanna D'Agostino and Angelo Montanari and Alberto Policriti}, title = {A Set-Theoretic Translation Method for Polymodal Logics}, journal = {J. Autom. Reason.}, volume = {15}, number = {3}, pages = {317--337}, year = {1995}, url = {https://doi.org/10.1007/BF00881803}, doi = {10.1007/BF00881803}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/DAgostinoMP95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/HookerV95, author = {John N. Hooker and V. Vinay}, title = {Branching Rules for Satisfiability}, journal = {J. Autom. Reason.}, volume = {15}, number = {3}, pages = {359--383}, year = {1995}, url = {https://doi.org/10.1007/BF00881805}, doi = {10.1007/BF00881805}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/HookerV95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Kunen95, author = {Kenneth Kunen}, title = {A Ramsey Theorem in Boyer-Moore Logic}, journal = {J. Autom. Reason.}, volume = {15}, number = {2}, pages = {217--235}, year = {1995}, url = {https://doi.org/10.1007/BF00881917}, doi = {10.1007/BF00881917}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Kunen95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/OhlbachW95, author = {Hans J{\"{u}}rgen Ohlbach and Christoph Weidenbach}, title = {A Note on Assumptions about Skolem Functions}, journal = {J. Autom. Reason.}, volume = {15}, number = {2}, pages = {267--275}, year = {1995}, url = {https://doi.org/10.1007/BF00881919}, doi = {10.1007/BF00881919}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/OhlbachW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Paulson95, author = {Lawrence C. Paulson}, title = {Set Theory for Verification. {II:} Induction and Recursion}, journal = {J. Autom. Reason.}, volume = {15}, number = {2}, pages = {167--215}, year = {1995}, url = {https://doi.org/10.1007/BF00881916}, doi = {10.1007/BF00881916}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Paulson95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Schaub95, author = {Torsten Schaub}, title = {A New Methodology for Query Answering in Default Logics via Structure-Oriented Theorem Proving}, journal = {J. Autom. Reason.}, volume = {15}, number = {1}, pages = {95--165}, year = {1995}, url = {https://doi.org/10.1007/BF00881832}, doi = {10.1007/BF00881832}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Schaub95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Subramanian95, author = {Sakthi Subramanian}, title = {Mechanical Verification of Strategies}, journal = {J. Autom. Reason.}, volume = {15}, number = {1}, pages = {69--93}, year = {1995}, url = {https://doi.org/10.1007/BF00881831}, doi = {10.1007/BF00881831}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Subramanian95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/ThielscherS95, author = {Michael Thielscher and Torsten Schaub}, title = {Default Reasoning by Deductive Planning}, journal = {J. Autom. Reason.}, volume = {15}, number = {1}, pages = {1--40}, year = {1995}, url = {https://doi.org/10.1007/BF00881829}, doi = {10.1007/BF00881829}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/ThielscherS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Voronkov95, author = {Andrei Voronkov}, title = {The Anatomy of Vampire Implementing Bottom-up Procedures with Code Trees}, journal = {J. Autom. Reason.}, volume = {15}, number = {2}, pages = {237--265}, year = {1995}, url = {https://doi.org/10.1007/BF00881918}, doi = {10.1007/BF00881918}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Voronkov95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Wos95, author = {Larry Wos}, title = {Searching for Circles of Pure Proofs}, journal = {J. Autom. Reason.}, volume = {15}, number = {3}, pages = {279--315}, year = {1995}, url = {https://doi.org/10.1007/BF00881802}, doi = {10.1007/BF00881802}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Wos95.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.