Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jar/BakerZ92,
  author       = {James D. Baker and
                  Shariar Zand{-}Biglari},
  title        = {An Integral Theorem Prover And The Role Of Proof Planning},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {2},
  pages        = {275--295},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00244284},
  doi          = {10.1007/BF00244284},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BakerZ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BaralS92,
  author       = {Chitta Baral and
                  V. S. Subrahmanian},
  title        = {Stable and Extension Class Theory for Logic Programs and Default Logics},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {3},
  pages        = {345--366},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF02341854},
  doi          = {10.1007/BF02341854},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BaralS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Barker-Plummer92,
  author       = {Dave Barker{-}Plummer},
  title        = {Gazing: An Approach to the Problem of Definition and Lemma Use},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {3},
  pages        = {311--344},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF02341853},
  doi          = {10.1007/BF02341853},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Barker-Plummer92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BoseCLM92,
  author       = {Soumitra Bose and
                  Edmund M. Clarke and
                  David E. Long and
                  Spiro Michaylov},
  title        = {{PARTHENON:} {A} Parallel Theorem Prover for Non-Horn Clauses},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {2},
  pages        = {153--181},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00244281},
  doi          = {10.1007/BF00244281},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BoseCLM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ChenKC92,
  author       = {Shyi{-}Ming Chen and
                  Jyh{-}Sheng Ke and
                  Jin{-}Fu Chang},
  title        = {An Inexact Reasoning Algorithm Based on Fuzzy Rule Matrix Transformations},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {1},
  pages        = {77--90},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00263450},
  doi          = {10.1007/BF00263450},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ChenKC92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Domenjoud92,
  author       = {Eric Domenjoud},
  title        = {A Technical Note on AC-Unification. The Number of Minimal Unifiers
                  of the Equation alpha x\({}_{\mbox{1}}\) + . . . + alpha x\({}_{\mbox{p}}\)
                  =\({}_{\mbox{AC}}\) beta y\({}_{\mbox{1}}\) + . . . + beta y\({}_{\mbox{q}}\)},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {1},
  pages        = {39--44},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00263448},
  doi          = {10.1007/BF00263448},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Domenjoud92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Hall92,
  author       = {Robert J. Hall},
  title        = {Comparing Parameter Schemes for Propositional Reasoning: An Empirical
                  Study},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {3},
  pages        = {367--394},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF02341855},
  doi          = {10.1007/BF02341855},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Hall92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Hines92,
  author       = {Larry M. Hines},
  title        = {Completeness of a Prover for Dense Linear Orders},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {1},
  pages        = {45--75},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00263449},
  doi          = {10.1007/BF00263449},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Hines92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/JindalOK92,
  author       = {Anita Jindal and
                  Ross A. Overbeek and
                  Waldo C. Kabat},
  title        = {Exploitation of Parallel Processing for Implementing High-Performance
                  Deduction Systems},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {1},
  pages        = {23--38},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00263447},
  doi          = {10.1007/BF00263447},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/JindalOK92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/LetzSBB92,
  author       = {Reinhold Letz and
                  Johann Schumann and
                  Stefan Bayerl and
                  Wolfgang Bibel},
  title        = {{SETHEO:} {A} High-Performance Theorem Prover},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {2},
  pages        = {183--212},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00244282},
  doi          = {10.1007/BF00244282},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/LetzSBB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Quaife92,
  author       = {Art Quaife},
  title        = {Automated Deduction in von Neumann-Bernays-G{\"{o}}del Set Theory},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {1},
  pages        = {91--147},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00263451},
  doi          = {10.1007/BF00263451},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Quaife92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Russinoff92,
  author       = {David M. Russinoff},
  title        = {A Mechanical Proof of Quadratic Reciprocity},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {1},
  pages        = {3--21},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00263446},
  doi          = {10.1007/BF00263446},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Russinoff92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/RussoP92,
  author       = {Mark F. Russo and
                  Richard L. Peskin},
  title        = {Automatically Identifying the Asymptotic Behavior of Nonlinear Singularly
                  Perturbed Boundary Value Problems},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {3},
  pages        = {395--419},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF02341856},
  doi          = {10.1007/BF02341856},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/RussoP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Shepherdson92,
  author       = {John C. Shepherdson},
  title        = {SLDNF-Resolution with Equality},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {2},
  pages        = {297--306},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00244285},
  doi          = {10.1007/BF00244285},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Shepherdson92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Veroff92,
  author       = {Robert Veroff},
  title        = {The Linked Inference Principle, {I:} The Formal Treatment},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {2},
  pages        = {213--274},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00244283},
  doi          = {10.1007/BF00244283},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Veroff92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Wos92,
  author       = {Larry Wos},
  title        = {The Problem of Choosing between Using and Avoiding Eqyality Predicates},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {2},
  pages        = {307--309},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00244286},
  doi          = {10.1007/BF00244286},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Wos92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Wos92a,
  author       = {Larry Wos},
  title        = {The Problem of Reasoning from Inequalities},
  journal      = {J. Autom. Reason.},
  volume       = {8},
  number       = {3},
  pages        = {421--426},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF02341857},
  doi          = {10.1007/BF02341857},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Wos92a.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.