Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jar/ChouG96,
  author       = {Shang{-}Ching Chou and
                  Xiao{-}Shan Gao},
  title        = {Automated Generation of Readable Proofs with Geometric Invariants
                  I. Multiple and Shortest Proof Generation},
  journal      = {J. Autom. Reason.},
  volume       = {17},
  number       = {3},
  pages        = {325--347},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00283133},
  doi          = {10.1007/BF00283133},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ChouG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ChouGZ96,
  author       = {Shang{-}Ching Chou and
                  Xiao{-}Shan Gao and
                  Jing{-}Zhong Zhang},
  title        = {Automated Generation of Readable Proofs with Geometric Invariants},
  journal      = {J. Autom. Reason.},
  volume       = {17},
  number       = {3},
  pages        = {349--370},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00283134},
  doi          = {10.1007/BF00283134},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ChouGZ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/CodognetD96,
  author       = {Philippe Codognet and
                  Daniel Diaz},
  title        = {A Simple and Efficient Boolean Solver for Constraint Logic Programming},
  journal      = {J. Autom. Reason.},
  volume       = {17},
  number       = {1},
  pages        = {97--129},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00247670},
  doi          = {10.1007/BF00247670},
  timestamp    = {Fri, 10 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/CodognetD96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Dimopoulos96,
  author       = {Yannis Dimopoulos},
  title        = {On Computing Logic Programs},
  journal      = {J. Autom. Reason.},
  volume       = {17},
  number       = {3},
  pages        = {259--289},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00283131},
  doi          = {10.1007/BF00283131},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Dimopoulos96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/FernandezGM96,
  author       = {Jos{\'{e}} Alberto Fern{\'{a}}ndez and
                  John Grant and
                  Jack Minker},
  title        = {Model Theoretic Approach to View Updates in Deductive Databases},
  journal      = {J. Autom. Reason.},
  volume       = {17},
  number       = {2},
  pages        = {171--197},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00244495},
  doi          = {10.1007/BF00244495},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/FernandezGM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Kunen96,
  author       = {Kenneth Kunen},
  title        = {The Semantics of Answer Literals},
  journal      = {J. Autom. Reason.},
  volume       = {17},
  number       = {1},
  pages        = {83--95},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00247669},
  doi          = {10.1007/BF00247669},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Kunen96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/LintonS96,
  author       = {Steve Linton and
                  Duncan Shand},
  title        = {Some Group Theoretic Examples with Completion Theorem Provers},
  journal      = {J. Autom. Reason.},
  volume       = {17},
  number       = {2},
  pages        = {145--169},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00244494},
  doi          = {10.1007/BF00244494},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/LintonS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/NarendranR96,
  author       = {Paliath Narendran and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Any Ground Associative-Commutative Theory Has a Finite Canonical System},
  journal      = {J. Autom. Reason.},
  volume       = {17},
  number       = {1},
  pages        = {131--143},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00247671},
  doi          = {10.1007/BF00247671},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/NarendranR96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/PaulsonG96,
  author       = {Lawrence C. Paulson and
                  Krzysztof Grabczewski},
  title        = {Mechanizing Set Theory},
  journal      = {J. Autom. Reason.},
  volume       = {17},
  number       = {3},
  pages        = {291--323},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00283132},
  doi          = {10.1007/BF00283132},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/PaulsonG96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/SidebottomH96,
  author       = {Greg Sidebottom and
                  William S. Havens},
  title        = {Nicolog: {A} Simple Yet Powerful cc(FD) Language},
  journal      = {J. Autom. Reason.},
  volume       = {17},
  number       = {3},
  pages        = {371--403},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00283135},
  doi          = {10.1007/BF00283135},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/SidebottomH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Thielscher96,
  author       = {Michael Thielscher},
  title        = {On the Completeness of SLDENF-Resolution},
  journal      = {J. Autom. Reason.},
  volume       = {17},
  number       = {2},
  pages        = {199--214},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00244496},
  doi          = {10.1007/BF00244496},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Thielscher96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Wos96,
  author       = {Larry Wos},
  title        = {The Power of Combining Resonance with Heat},
  journal      = {J. Autom. Reason.},
  volume       = {17},
  number       = {1},
  pages        = {23--81},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00247668},
  doi          = {10.1007/BF00247668},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Wos96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Wos96a,
  author       = {Larry Wos},
  title        = {{OTTER} and the Moufang Identity Problem},
  journal      = {J. Autom. Reason.},
  volume       = {17},
  number       = {2},
  pages        = {215--257},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00244497},
  doi          = {10.1007/BF00244497},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Wos96a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Zhang96,
  author       = {Jian Zhang},
  title        = {Constructing Finite Algebras with {FALCON}},
  journal      = {J. Autom. Reason.},
  volume       = {17},
  number       = {1},
  pages        = {1--22},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF00247667},
  doi          = {10.1007/BF00247667},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Zhang96.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.