Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jar/BlanchetteGKKU16,
  author       = {Jasmin Christian Blanchette and
                  David Greenaway and
                  Cezary Kaliszyk and
                  Daniel K{\"{u}}hlwein and
                  Josef Urban},
  title        = {A Learning-Based Fact Selector for Isabelle/HOL},
  journal      = {J. Autom. Reason.},
  volume       = {57},
  number       = {3},
  pages        = {219--244},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-016-9362-8},
  doi          = {10.1007/S10817-016-9362-8},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/BlanchetteGKKU16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/ChristH16,
  author       = {J{\"{u}}rgen Christ and
                  Jochen Hoenicke},
  title        = {Proof Tree Preserving Tree Interpolation},
  journal      = {J. Autom. Reason.},
  volume       = {57},
  number       = {1},
  pages        = {67--95},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-016-9365-5},
  doi          = {10.1007/S10817-016-9365-5},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/ChristH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/EchenimP16,
  author       = {Mnacho Echenim and
                  Nicolas Peltier},
  title        = {A Superposition Calculus for Abductive Reasoning},
  journal      = {J. Autom. Reason.},
  volume       = {57},
  number       = {2},
  pages        = {97--134},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9344-2},
  doi          = {10.1007/S10817-015-9344-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/EchenimP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/FranekRZ16,
  author       = {Peter Franek and
                  Stefan Ratschan and
                  Piotr Zgliczynski},
  title        = {Quasi-decidability of a Fragment of the First-Order Theory of Real
                  Numbers},
  journal      = {J. Autom. Reason.},
  volume       = {57},
  number       = {2},
  pages        = {157--185},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9351-3},
  doi          = {10.1007/S10817-015-9351-3},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/FranekRZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Krebbers16,
  author       = {Robbert Krebbers},
  title        = {A Formal {C} Memory Model for Separation Logic},
  journal      = {J. Autom. Reason.},
  volume       = {57},
  number       = {4},
  pages        = {319--387},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-016-9369-1},
  doi          = {10.1007/S10817-016-9369-1},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Krebbers16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KroeningR16,
  author       = {Daniel Kroening and
                  Andrey Rybalchenko},
  title        = {Preface: Special Issue on Interpolation},
  journal      = {J. Autom. Reason.},
  volume       = {57},
  number       = {1},
  pages        = {1--2},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-016-9375-3},
  doi          = {10.1007/S10817-016-9375-3},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KroeningR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Martin-DorelM16,
  author       = {{\'{E}}rik Martin{-}Dorel and
                  Guillaume Melquiond},
  title        = {Proving Tight Bounds on Univariate Expressions with Elementary Functions
                  in Coq},
  journal      = {J. Autom. Reason.},
  volume       = {57},
  number       = {3},
  pages        = {187--217},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9350-4},
  doi          = {10.1007/S10817-015-9350-4},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Martin-DorelM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/PhamGW16,
  author       = {Tuan{-}Hung Pham and
                  Andrew Gacek and
                  Michael W. Whalen},
  title        = {Reasoning About Algebraic Data Types with Abstractions},
  journal      = {J. Autom. Reason.},
  volume       = {57},
  number       = {4},
  pages        = {281--318},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-016-9368-2},
  doi          = {10.1007/S10817-016-9368-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/PhamGW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Roux16,
  author       = {Pierre Roux},
  title        = {Formal Proofs of Rounding Error Bounds - With Application to an Automatic
                  Positive Definiteness Check},
  journal      = {J. Autom. Reason.},
  volume       = {57},
  number       = {2},
  pages        = {135--156},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-015-9339-z},
  doi          = {10.1007/S10817-015-9339-Z},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Roux16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/SchlaipferW16,
  author       = {Matthias Schlaipfer and
                  Georg Weissenbacher},
  title        = {Labelled Interpolation Systems for Hyper-Resolution, Clausal, and
                  Local Proofs},
  journal      = {J. Autom. Reason.},
  volume       = {57},
  number       = {1},
  pages        = {3--36},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-016-9364-6},
  doi          = {10.1007/S10817-016-9364-6},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/SchlaipferW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/TotlaW16,
  author       = {Nishant Totla and
                  Thomas Wies},
  title        = {Complete Instantiation-Based Interpolation},
  journal      = {J. Autom. Reason.},
  volume       = {57},
  number       = {1},
  pages        = {37--65},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-016-9371-7},
  doi          = {10.1007/S10817-016-9371-7},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/TotlaW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/TourP16,
  author       = {Thierry Boy de la Tour and
                  Nicolas Peltier},
  title        = {Proof Generalization in {\textdollar}{\textdollar}{\textbackslash}mathrm
                  \{LK\}{\textdollar}{\textdollar} {LK} by Second Order Unifier Minimization},
  journal      = {J. Autom. Reason.},
  volume       = {57},
  number       = {3},
  pages        = {245--280},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10817-016-9367-3},
  doi          = {10.1007/S10817-016-9367-3},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/TourP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.