Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jar/AnantharamanH90,
  author       = {Siva Anantharaman and
                  Jieh Hsiang},
  title        = {Automated Proofs of the Moufang Identities in Alternative Rings},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {1},
  pages        = {79--109},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00302643},
  doi          = {10.1007/BF00302643},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/AnantharamanH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AuffrayEH90,
  author       = {Yves Auffray and
                  Patrice Enjalbert and
                  Jean{-}Jacques H{\'{e}}brard},
  title        = {Strategies for Modal Resolution: Results and Problems},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {1},
  pages        = {1--38},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00302639},
  doi          = {10.1007/BF00302639},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/AuffrayEH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Bibel90,
  author       = {Wolfgang Bibel},
  title        = {Short Proofs of the Pigeonhole Formulas Based on the Connection Method},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {3},
  pages        = {287--297},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00244489},
  doi          = {10.1007/BF00244489},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Bibel90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Bledsoe90,
  author       = {W. W. Bledsoe},
  title        = {Challenge Problems in Elementary Calculus},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {3},
  pages        = {341--359},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00244493},
  doi          = {10.1007/BF00244493},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Bledsoe90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BuningLS90,
  author       = {Hans Kleine{ }B{\"{u}}ning and
                  Ulrich L{\"{o}}wen and
                  Stefan Schmitgen},
  title        = {Equivalence of Propositional Prolog Programs},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {3},
  pages        = {319--335},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00244491},
  doi          = {10.1007/BF00244491},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BuningLS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CantoneC90,
  author       = {Domenico Cantone and
                  Vincenzo Cutello},
  title        = {Decision Procedures for Elementary Sublanguages of Set Theory},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {2},
  pages        = {189--201},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00245818},
  doi          = {10.1007/BF00245818},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CantoneC90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/CantoneOP90,
  author       = {Domenico Cantone and
                  Eugenio G. Omodeo and
                  Alberto Policriti},
  title        = {The Automation of Syllogistic},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {2},
  pages        = {173--187},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00245817},
  doi          = {10.1007/BF00245817},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CantoneOP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FerroG90,
  author       = {Giuseppa Carr{\`{a}} Ferro and
                  Giovanni Gallo},
  title        = {A Procedure to Prove Statements in Differential Geometry},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {2},
  pages        = {203--209},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00245819},
  doi          = {10.1007/BF00245819},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/FerroG90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Gao90,
  author       = {Xiao{-}Shan Gao},
  title        = {Transcendental Functions and Mechanical Theorem Proving in Elemantary
                  Geometries},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {4},
  pages        = {403--417},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00244356},
  doi          = {10.1007/BF00244356},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Gao90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Lescanne90,
  author       = {Pierre Lescanne},
  title        = {On the Recursive Decomposition Ordering with Lexicographical Status
                  and Other Related Orderings},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {1},
  pages        = {39--49},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00302640},
  doi          = {10.1007/BF00302640},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Lescanne90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LuS90,
  author       = {James J. Lu and
                  V. S. Subrahmanian},
  title        = {Protected Completions of First-Order General Logic Programs},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {2},
  pages        = {147--172},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00245816},
  doi          = {10.1007/BF00245816},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/LuS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Patel-Schneider90,
  author       = {Peter F. Patel{-}Schneider},
  title        = {A Decidable First-Order Logic for Knowldge Representation},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {4},
  pages        = {361--388},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00244354},
  doi          = {10.1007/BF00244354},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Patel-Schneider90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Piazza90,
  author       = {Joseph S. di Piazza},
  title        = {Interweaving Knowledge Extracting, Organizing and Evaluating: {A}
                  Concrete Design for Preventing Logic and Structure Bugs while Interviewing
                  Experts},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {3},
  pages        = {299--317},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00244490},
  doi          = {10.1007/BF00244490},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Piazza90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Plaisted90,
  author       = {David A. Plaisted},
  title        = {A Sequent-Style Model Elimination Strategy and a Positive Refinement},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {4},
  pages        = {389--402},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00244355},
  doi          = {10.1007/BF00244355},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Plaisted90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Pollock90,
  author       = {John L. Pollock},
  title        = {Interest Driven Suppositional Reasoning},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {4},
  pages        = {419--461},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00244357},
  doi          = {10.1007/BF00244357},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Pollock90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/RoachSW90,
  author       = {John W. Roach and
                  R. Sundararajan and
                  Layne T. Watson},
  title        = {Replacing Unification by Constraint Satisfaction to Improve Logic
                  Program Expressiveness},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {1},
  pages        = {51--75},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00302641},
  doi          = {10.1007/BF00302641},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/RoachSW90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/StaplesR90,
  author       = {John Staples and
                  Peter J. Robinson},
  title        = {Structure Sharing for Quantified Terms: Fundamentals},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {2},
  pages        = {115--145},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00245815},
  doi          = {10.1007/BF00245815},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/StaplesR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Stokes90,
  author       = {Timothy Stokes},
  title        = {Gr{\"{o}}bner Bases in Exterior Algebra},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {3},
  pages        = {233--250},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00244487},
  doi          = {10.1007/BF00244487},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Stokes90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Winker90,
  author       = {Steve Winker},
  title        = {Robbins Algebra: Conditions That Make a Near-Boolean Algebra Boolean},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {4},
  pages        = {465--489},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00244359},
  doi          = {10.1007/BF00244359},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Winker90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wos90,
  author       = {Larry Wos},
  title        = {The Problem of Choosing between Logic Programming and General-Purpose
                  Automated Reasoning},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {1},
  pages        = {77--78},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00302642},
  doi          = {10.1007/BF00302642},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Wos90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wos90a,
  author       = {Larry Wos},
  title        = {The Problem of Finding a Mapping between Clause Representation and
                  Natural-Deduction Representation},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {2},
  pages        = {211--212},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00245820},
  doi          = {10.1007/BF00245820},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Wos90a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wos90b,
  author       = {Larry Wos},
  title        = {Meeting the Challenge of Fifty Years of Logic},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {2},
  pages        = {213--232},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00245821},
  doi          = {10.1007/BF00245821},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Wos90b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wos90c,
  author       = {Larry Wos},
  title        = {The Problem of Finding a Semantic Strategy for Focusing Inference
                  Rules},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {3},
  pages        = {337--339},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00244492},
  doi          = {10.1007/BF00244492},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Wos90c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Wos90d,
  author       = {Larry Wos},
  title        = {The Problem of Choosing between Predicate and Function Notation for
                  Problem Representation},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {4},
  pages        = {463--464},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00244358},
  doi          = {10.1007/BF00244358},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Wos90d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Yu90,
  author       = {Yuan Yu},
  title        = {Computer Proofs in Group Theory},
  journal      = {J. Autom. Reason.},
  volume       = {6},
  number       = {3},
  pages        = {251--286},
  year         = {1990},
  url          = {https://doi.org/10.1007/BF00244488},
  doi          = {10.1007/BF00244488},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Yu90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics