default search action
Search dblp for Publications
export results for "toc:db/journals/jar/jar11.bht:"
@article{DBLP:journals/jar/BailinB93, author = {Sidney C. Bailin and Dave Barker{-}Plummer}, title = {Z-Match: An Inference Rule for Incrementally Elaborating Set Instantiations}, journal = {J. Autom. Reason.}, volume = {11}, number = {3}, pages = {391--428}, year = {1993}, url = {https://doi.org/10.1007/BF00881874}, doi = {10.1007/BF00881874}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BailinB93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/BledsoeF93, author = {W. W. Bledsoe and Guohui Feng}, title = {Set-Var}, journal = {J. Autom. Reason.}, volume = {11}, number = {3}, pages = {293--314}, year = {1993}, url = {https://doi.org/10.1007/BF00881869}, doi = {10.1007/BF00881869}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/BledsoeF93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Boudet93, author = {Alexandre Boudet}, title = {Competing for the AC-Unification Race}, journal = {J. Autom. Reason.}, volume = {11}, number = {2}, pages = {185--212}, year = {1993}, url = {https://doi.org/10.1007/BF00881905}, doi = {10.1007/BF00881905}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Boudet93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/FarmerGT93, author = {William M. Farmer and Joshua D. Guttman and F. Javier Thayer}, title = {{IMPS:} An Interactive Mathematical Proof System}, journal = {J. Autom. Reason.}, volume = {11}, number = {2}, pages = {213--248}, year = {1993}, url = {https://doi.org/10.1007/BF00881906}, doi = {10.1007/BF00881906}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/FarmerGT93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Felty93, author = {Amy P. Felty}, title = {Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language}, journal = {J. Autom. Reason.}, volume = {11}, number = {1}, pages = {41--81}, year = {1993}, url = {https://doi.org/10.1007/BF00881900}, doi = {10.1007/BF00881900}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Felty93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/GiunchigliaW93, author = {Fausto Giunchiglia and Toby Walsh}, title = {The Inevitability of Inconsistent Abstract Spaces}, journal = {J. Autom. Reason.}, volume = {11}, number = {1}, pages = {23--41}, year = {1993}, url = {https://doi.org/10.1007/BF00881899}, doi = {10.1007/BF00881899}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/GiunchigliaW93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/GrantHLM93, author = {John Grant and John F. Horty and Jorge Lobo and Jack Minker}, title = {View Updates in Stratified Disjunctive Databases}, journal = {J. Autom. Reason.}, volume = {11}, number = {2}, pages = {249--267}, year = {1993}, url = {https://doi.org/10.1007/BF00881907}, doi = {10.1007/BF00881907}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jar/GrantHLM93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/LuskM93, author = {Ewing L. Lusk and William McCune}, title = {Uniform Strategies: The {CADE-11} Theorem Proving Contest}, journal = {J. Autom. Reason.}, volume = {11}, number = {3}, pages = {317--331}, year = {1993}, url = {https://doi.org/10.1007/BF00881871}, doi = {10.1007/BF00881871}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/LuskM93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Nadathur93, author = {Gopalan Nadathur}, title = {A Proof Procedure for the Logic of Hereditary Harrop Formulas}, journal = {J. Autom. Reason.}, volume = {11}, number = {1}, pages = {115--145}, year = {1993}, url = {https://doi.org/10.1007/BF00881902}, doi = {10.1007/BF00881902}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Nadathur93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Overbeek93, author = {Ross A. Overbeek}, title = {The {CADE-11} Competitions: {A} Personal View}, journal = {J. Autom. Reason.}, volume = {11}, number = {3}, pages = {315--316}, year = {1993}, url = {https://doi.org/10.1007/BF00881870}, doi = {10.1007/BF00881870}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Overbeek93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Paulson93, author = {Lawrence C. Paulson}, title = {Set Theory for Verification: I. From Foundations to Functions}, journal = {J. Autom. Reason.}, volume = {11}, number = {3}, pages = {353--389}, year = {1993}, url = {https://doi.org/10.1007/BF00881873}, doi = {10.1007/BF00881873}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Paulson93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Schulz93, author = {Klaus U. Schulz}, title = {Wort Unification and Transformation of Generalized Equations}, journal = {J. Autom. Reason.}, volume = {11}, number = {2}, pages = {149--184}, year = {1993}, url = {https://doi.org/10.1007/BF00881904}, doi = {10.1007/BF00881904}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Schulz93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/SegreS93, author = {Alberto M. Segre and Daniel Scharstein}, title = {Bounded-Overhead Caching for Definite-Clause Theorem Proving}, journal = {J. Autom. Reason.}, volume = {11}, number = {1}, pages = {83--113}, year = {1993}, url = {https://doi.org/10.1007/BF00881901}, doi = {10.1007/BF00881901}, timestamp = {Wed, 17 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jar/SegreS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Walker93, author = {Adrian Walker}, title = {Backchain Iteration: Towards a Practical Inference Method That Is Simple Enough to Be Proved Terminating, Sound, and Complete}, journal = {J. Autom. Reason.}, volume = {11}, number = {1}, pages = {1--22}, year = {1993}, url = {https://doi.org/10.1007/BF00881898}, doi = {10.1007/BF00881898}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Walker93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Wang93, author = {Jinchang Wang}, title = {Inference Flexibility in Horn Clause Knowledge Bases and the Simplex Method}, journal = {J. Autom. Reason.}, volume = {11}, number = {2}, pages = {269--288}, year = {1993}, url = {https://doi.org/10.1007/BF00881908}, doi = {10.1007/BF00881908}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Wang93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Wos93d, author = {Larry Wos}, title = {The Problem of Naming and Function Replacement}, journal = {J. Autom. Reason.}, volume = {11}, number = {1}, pages = {147--148}, year = {1993}, url = {https://doi.org/10.1007/BF00881903}, doi = {10.1007/BF00881903}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Wos93d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Wos93e, author = {Larry Wos}, title = {The Problem of Reasoning by Case Analysis}, journal = {J. Autom. Reason.}, volume = {11}, number = {2}, pages = {289--291}, year = {1993}, url = {https://doi.org/10.1007/BF00881909}, doi = {10.1007/BF00881909}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Wos93e.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Wos93f, author = {Larry Wos}, title = {The Problem of Induction}, journal = {J. Autom. Reason.}, volume = {11}, number = {3}, pages = {433--434}, year = {1993}, url = {https://doi.org/10.1007/BF00881876}, doi = {10.1007/BF00881876}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/Wos93f.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jar/Zhang93, author = {Hantao Zhang}, title = {Automated Proofs of Equality Problems in Overbeek's Competition}, journal = {J. Autom. Reason.}, volume = {11}, number = {3}, pages = {333--351}, year = {1993}, url = {https://doi.org/10.1007/BF00881872}, doi = {10.1007/BF00881872}, timestamp = {Tue, 17 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jar/Zhang93.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.