Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jar/AquilanoBBM86,
  author       = {C. Aquilano and
                  Roberto Barbuti and
                  P. Bocchetti and
                  Maurizio Martelli},
  title        = {Negation as Failure. Completeness of the Query Evaluation Process
                  for Horn Clause Programs with Recursive Definitions},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {2},
  pages        = {155--170},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF02432149},
  doi          = {10.1007/BF02432149},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/AquilanoBBM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Baader86,
  author       = {Franz Baader},
  title        = {The Theory of Idempotent Semigroups is of Unification Type Zero},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {3},
  pages        = {283--286},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF02328451},
  doi          = {10.1007/BF02328451},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Baader86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BoyerLMOSW86,
  author       = {Robert S. Boyer and
                  Ewing L. Lusk and
                  William McCune and
                  Ross A. Overbeek and
                  Mark E. Stickel and
                  Larry Wos},
  title        = {Set Theory in First-Order Logic: Clauses for G{\"{o}}del's Axioms},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {3},
  pages        = {287--327},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF02328452},
  doi          = {10.1007/BF02328452},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BoyerLMOSW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Bundy86,
  author       = {Alan Bundy},
  title        = {Correctness Criteria of Some Algorithms for Uncertain Reasoning Using
                  Incidence Calculus},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {2},
  pages        = {109--126},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF02432147},
  doi          = {10.1007/BF02432147},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Bundy86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Buttner86,
  author       = {Wolfram B{\"{u}}ttner},
  title        = {Unification in Datastructure Multisets},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {1},
  pages        = {75--88},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF00246024},
  doi          = {10.1007/BF00246024},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Buttner86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ChouS86,
  author       = {Shang{-}Ching Chou and
                  William F. Schelter},
  title        = {Proving Geometry Theorems with Rewrite Rules},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {3},
  pages        = {253--273},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF02328448},
  doi          = {10.1007/BF02328448},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ChouS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/CoelhoP86,
  author       = {Helder Coelho and
                  Lu{\'{\i}}s Moniz Pereira},
  title        = {Automated Reasoning in Geometry Theorem Proving with Prolog},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {4},
  pages        = {329--390},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF00248249},
  doi          = {10.1007/BF00248249},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CoelhoP86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/DilgerJ86,
  author       = {Werner Dilger and
                  Agnes Janson},
  title        = {Intelligent Backtracking in Deduction Systems by Means of Extended
                  Unification Graphs},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {1},
  pages        = {44--62},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF00246022},
  doi          = {10.1007/BF00246022},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/DilgerJ86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/GlickfeldO86,
  author       = {Barney Glickfeld and
                  Ross A. Overbeek},
  title        = {A Foray Into Combinatory Logic},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {4},
  pages        = {419--431},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF00248251},
  doi          = {10.1007/BF00248251},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/GlickfeldO86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Kramer86,
  author       = {Thomas R. Kramer},
  title        = {Automated Analysis of Operators on State Tables: {A} Technique for
                  Intelligent Search},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {2},
  pages        = {127--153},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF02432148},
  doi          = {10.1007/BF02432148},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Kramer86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ParrelloK86,
  author       = {Bruce D. Parrello and
                  Waldo C. Kabat},
  title        = {Job-Shop Scheduling Using Automated Reasoning: {A} Case Study of the
                  Car-Sequencing Problem},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {1},
  pages        = {1--42},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF00246021},
  doi          = {10.1007/BF00246021},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ParrelloK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Paulson86,
  author       = {Lawrence C. Paulson},
  title        = {Proving Termination of Normalization Functions for Conditional Experessions},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {1},
  pages        = {63--74},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF00246023},
  doi          = {10.1007/BF00246023},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Paulson86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Pelletier86,
  author       = {Francis Jeffry Pelletier},
  title        = {Seventy-Five Problems for Testing Automatic Theorem Provers},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {2},
  pages        = {191--216},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF02432151},
  doi          = {10.1007/BF02432151},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Pelletier86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Plaisted86,
  author       = {David A. Plaisted},
  title        = {A Decision Procedure for Combinations of Propositional Temporal Logic
                  and Other Specialized Theories},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {2},
  pages        = {171--190},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF02432150},
  doi          = {10.1007/BF02432150},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Plaisted86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Schmidt-Schauss86,
  author       = {Manfred Schmidt{-}Schau{\ss}},
  title        = {Unification under Associativity and Idempotence is of Type Nullary},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {3},
  pages        = {277--281},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF02328450},
  doi          = {10.1007/BF02328450},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Schmidt-Schauss86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Stickel86,
  author       = {Mark E. Stickel},
  title        = {Schubert's Steamroller Problem: Formulation and Solutions},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {1},
  pages        = {89--101},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF00246025},
  doi          = {10.1007/BF00246025},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Stickel86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Wen-Tsun86,
  author       = {Wu Wen{-}Ts{\"{u}}n},
  title        = {Basic Principles of Mechanical Theorem Proving in Elementary Geometries},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {3},
  pages        = {221--252},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF02328447},
  doi          = {10.1007/BF02328447},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Wen-Tsun86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/YouS86,
  author       = {Jia{-}Huai You and
                  P. A. Subrahmanyam},
  title        = {A Class of Confluent Term Rewriting Systems and Unification},
  journal      = {J. Autom. Reason.},
  volume       = {2},
  number       = {4},
  pages        = {391--418},
  year         = {1986},
  url          = {https://doi.org/10.1007/BF00248250},
  doi          = {10.1007/BF00248250},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/YouS86.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.