Search dblp for Publications

export results for "toc:db/journals/jar/jar11.bht:"

 download as .bib file

@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.