Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jar/BauerCZ98,
  author       = {Andrej Bauer and
                  Edmund M. Clarke and
                  Xudong Zhao},
  title        = {Analytica - An Experiment in Combining Theorem Proving and Symbolic
                  Computation},
  journal      = {J. Autom. Reason.},
  volume       = {21},
  number       = {3},
  pages        = {295--325},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1006079212546},
  doi          = {10.1023/A:1006079212546},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BauerCZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ChazarainM98,
  author       = {Jacques Chazarain and
                  Serge Muller},
  title        = {Automated Synthesis of Recursive Programs from a forall-exists Logical
                  Specification},
  journal      = {J. Autom. Reason.},
  volume       = {21},
  number       = {2},
  pages        = {233--275},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005903504159},
  doi          = {10.1023/A:1005903504159},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ChazarainM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/DolzmannSW98,
  author       = {Andreas Dolzmann and
                  Thomas Sturm and
                  Volker Weispfenning},
  title        = {A New Approach for Automatic Theorem Proving in Real Geometry},
  journal      = {J. Autom. Reason.},
  volume       = {21},
  number       = {3},
  pages        = {357--380},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1006031329384},
  doi          = {10.1023/A:1006031329384},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/DolzmannSW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/HarrisonT98,
  author       = {John Harrison and
                  Laurent Th{\'{e}}ry},
  title        = {A Skeptic's Approach to Combining {HOL} and Maple},
  journal      = {J. Autom. Reason.},
  volume       = {21},
  number       = {3},
  pages        = {279--294},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1006023127567},
  doi          = {10.1023/A:1006023127567},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/HarrisonT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/HongJ98,
  author       = {Hoon Hong and
                  Dalibor Jakus},
  title        = {Testing Positiveness of Polynomials},
  journal      = {J. Autom. Reason.},
  volume       = {21},
  number       = {1},
  pages        = {23--38},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005983105493},
  doi          = {10.1023/A:1005983105493},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/HongJ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/HongboM98,
  author       = {Hongbo Li and
                  Cheng Minteh},
  title        = {Clifford Algebraic Reduction Method for Automated Theorem Proving
                  in Differential Geometry},
  journal      = {J. Autom. Reason.},
  volume       = {21},
  number       = {1},
  pages        = {1--21},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005819428156},
  doi          = {10.1023/A:1005819428156},
  timestamp    = {Thu, 04 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/HongboM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KerberKS98,
  author       = {Manfred Kerber and
                  Michael Kohlhase and
                  Volker Sorge},
  title        = {Integrating Computer Algebra into Proof Planning},
  journal      = {J. Autom. Reason.},
  volume       = {21},
  number       = {3},
  pages        = {327--355},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1006059810729},
  doi          = {10.1023/A:1006059810729},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KerberKS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Kunen98,
  author       = {Kenneth Kunen},
  title        = {Nonconstructive Computational Mathematics},
  journal      = {J. Autom. Reason.},
  volume       = {21},
  number       = {1},
  pages        = {69--97},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005888712422},
  doi          = {10.1023/A:1005888712422},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Kunen98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/LuMR98,
  author       = {James J. Lu and
                  Neil V. Murray and
                  Erik Rosenthal},
  title        = {A Framework for Automated Reasoning in Multiple-Valued Logics},
  journal      = {J. Autom. Reason.},
  volume       = {21},
  number       = {1},
  pages        = {39--67},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005784309139},
  doi          = {10.1023/A:1005784309139},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/LuMR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/SutcliffeS98,
  author       = {Geoff Sutcliffe and
                  Christian B. Suttner},
  title        = {The {TPTP} Problem Library - {CNF} Release v1.2.1},
  journal      = {J. Autom. Reason.},
  volume       = {21},
  number       = {2},
  pages        = {177--203},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005806324129},
  doi          = {10.1023/A:1005806324129},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/SutcliffeS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/SuttnerS98,
  author       = {Christian B. Suttner and
                  Geoff Sutcliffe},
  title        = {The {CADE-14} {ATP} System Competition},
  journal      = {J. Autom. Reason.},
  volume       = {21},
  number       = {1},
  pages        = {99--134},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1006006930186},
  doi          = {10.1023/A:1006006930186},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/SuttnerS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Voronkov98,
  author       = {Andrei Voronkov},
  title        = {Proof Search in Intuitionistic Logic with Equality, or Back to Simultaneous
                  Rigid \emph{E}-Unification},
  journal      = {J. Autom. Reason.},
  volume       = {21},
  number       = {2},
  pages        = {205--231},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005934721802},
  doi          = {10.1023/A:1005934721802},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Voronkov98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Wos98,
  author       = {Larry Wos},
  title        = {Automating the Search for Elegant Proofs},
  journal      = {J. Autom. Reason.},
  volume       = {21},
  number       = {2},
  pages        = {135--175},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1005847113370},
  doi          = {10.1023/A:1005847113370},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Wos98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/WuL98,
  author       = {Jinzhao Wu and
                  Zhuojun Liu},
  title        = {Well-Behaved Inference Rules for First-Order Theorem Proving},
  journal      = {J. Autom. Reason.},
  volume       = {21},
  number       = {3},
  pages        = {381--400},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1006027228476},
  doi          = {10.1023/A:1006027228476},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/WuL98.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.