Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jar/Asperti15,
  author       = {Andrea Asperti},
  title        = {Reverse Complexity},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {4},
  pages        = {373--388},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9349-x},
  doi          = {10.1007/S10817-015-9349-X},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Asperti15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BenzmullerSPT15,
  author       = {Christoph Benzm{\"{u}}ller and
                  Nik Sultana and
                  Lawrence C. Paulson and
                  Frank Theiss},
  title        = {The Higher-Order Prover Leo-II},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {4},
  pages        = {389--404},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9348-y},
  doi          = {10.1007/S10817-015-9348-Y},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/BenzmullerSPT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/BotanaHJKPRW15,
  author       = {Francisco Botana and
                  Markus Hohenwarter and
                  Predrag Janicic and
                  Zolt{\'{a}}n Kov{\'{a}}cs and
                  Ivan Petrovic and
                  Tom{\'{a}}s Recio and
                  Simon Weitzhofer},
  title        = {Automated Theorem Proving in GeoGebra: Current Achievements},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {1},
  pages        = {39--59},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9326-4},
  doi          = {10.1007/S10817-015-9326-4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jar/BotanaHJKPRW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Brown15,
  author       = {Chad E. Brown},
  title        = {Reconsidering Pairs and Functions as Sets},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {3},
  pages        = {199--210},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9340-6},
  doi          = {10.1007/S10817-015-9340-6},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Brown15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/CokSW15,
  author       = {David R. Cok and
                  Aaron Stump and
                  Tjark Weber},
  title        = {The 2013 Evaluation of {SMT-COMP} and {SMT-LIB}},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {1},
  pages        = {61--90},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9328-2},
  doi          = {10.1007/S10817-015-9328-2},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/CokSW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/DavisM15,
  author       = {Jared Davis and
                  Magnus O. Myreen},
  title        = {The Reflective Milawa Theorem Prover is Sound (Down to the Machine
                  Code that Runs it)},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {2},
  pages        = {117--183},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9324-6},
  doi          = {10.1007/S10817-015-9324-6},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/DavisM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/FeltyMP15,
  author       = {Amy P. Felty and
                  Alberto Momigliano and
                  Brigitte Pientka},
  title        = {The Next 700 Challenge Problems for Reasoning with Higher-Order Abstract
                  Syntax Representations - Part 2 - {A} Survey},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {4},
  pages        = {307--372},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9327-3},
  doi          = {10.1007/S10817-015-9327-3},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/FeltyMP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Grabowski15,
  author       = {Adam Grabowski},
  title        = {Mechanizing Complemented Lattices Within Mizar Type System},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {3},
  pages        = {211--221},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9333-5},
  doi          = {10.1007/S10817-015-9333-5},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Grabowski15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/GrabowskiKN15,
  author       = {Adam Grabowski and
                  Artur Kornilowicz and
                  Adam Naumowicz},
  title        = {Four Decades of Mizar - Foreword},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {3},
  pages        = {191--198},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9345-1},
  doi          = {10.1007/S10817-015-9345-1},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/GrabowskiKN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Harrison15,
  author       = {John Harrison},
  title        = {Formal Proofs of Hypergeometric Sums - Dedicated to the memory of
                  Andrzej Trybulec},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {3},
  pages        = {223--243},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9338-0},
  doi          = {10.1007/S10817-015-9338-0},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Harrison15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KaliszykU15a,
  author       = {Cezary Kaliszyk and
                  Josef Urban},
  title        = {MizAR 40 for Mizar 40},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {3},
  pages        = {245--256},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9330-8},
  doi          = {10.1007/S10817-015-9330-8},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KaliszykU15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Kornilowicz15,
  author       = {Artur Kornilowicz},
  title        = {Definitional Expansions in Mizar - In memoriam of Andrzej Trybulec,
                  a pioneer of computerized formalization},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {3},
  pages        = {257--268},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9331-7},
  doi          = {10.1007/S10817-015-9331-7},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Kornilowicz15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KuhlweinU15,
  author       = {Daniel K{\"{u}}hlwein and
                  Josef Urban},
  title        = {MaLeS: {A} Framework for Automatic Tuning of Automated Theorem Provers},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {2},
  pages        = {91--116},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9329-1},
  doi          = {10.1007/S10817-015-9329-1},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KuhlweinU15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Kuperberg15,
  author       = {Krystyna Trybulec Kuperberg},
  title        = {Andrzej Trybulec - in Memoriam},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {3},
  pages        = {187--190},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9343-3},
  doi          = {10.1007/S10817-015-9343-3},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Kuperberg15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Lyaletski15,
  author       = {Alexander V. Lyaletski},
  title        = {Evidence Algorithm and Inference Search in First-Order Logics},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {3},
  pages        = {269--284},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9346-0},
  doi          = {10.1007/S10817-015-9346-0},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Lyaletski15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Mayer15,
  author       = {Marta Cialdea Mayer},
  title        = {Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid
                  Logic with Binders},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {2},
  pages        = {185},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-014-9308-y},
  doi          = {10.1007/S10817-014-9308-Y},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Mayer15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Naumowicz15,
  author       = {Adam Naumowicz},
  title        = {Automating Boolean Set Operations in Mizar Proof Checking with the
                  Aid of an External {SAT} Solver},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {3},
  pages        = {285--294},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9332-6},
  doi          = {10.1007/S10817-015-9332-6},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Naumowicz15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Pak15,
  author       = {Karol Pak},
  title        = {Improving Legibility of Formal Proofs Based on the Close Reference
                  Principle is NP-Hard},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {3},
  pages        = {295--306},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9337-1},
  doi          = {10.1007/S10817-015-9337-1},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Pak15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/Paulson15,
  author       = {Lawrence C. Paulson},
  title        = {A Mechanised Proof of G{\"{o}}del's Incompleteness Theorems Using
                  Nominal Isabelle},
  journal      = {J. Autom. Reason.},
  volume       = {55},
  number       = {1},
  pages        = {1--37},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10817-015-9322-8},
  doi          = {10.1007/S10817-015-9322-8},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/Paulson15.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.