Search dblp for Publications

export results for "toc:db/conf/cade/cade2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cade/0001SUP17,
  author       = {Stephan Schulz and
                  Geoff Sutcliffe and
                  Josef Urban and
                  Adam Pease},
  editor       = {Leonardo de Moura},
  title        = {Detecting Inconsistencies in Large First-Order Knowledge Bases},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {310--325},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_19},
  doi          = {10.1007/978-3-319-63046-5\_19},
  timestamp    = {Thu, 29 Sep 2022 08:36:56 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/0001SUP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Andronick17,
  author       = {June Andronick},
  editor       = {Leonardo de Moura},
  title        = {Reasoning About Concurrency in High-Assurance, High-Performance Software
                  Systems},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {1--7},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_1},
  doi          = {10.1007/978-3-319-63046-5\_1},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Andronick17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BarbosaBF17,
  author       = {Haniel Barbosa and
                  Jasmin Christian Blanchette and
                  Pascal Fontaine},
  editor       = {Leonardo de Moura},
  title        = {Scalable Fine-Grained Proofs for Formula Processing},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {398--412},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_25},
  doi          = {10.1007/978-3-319-63046-5\_25},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BarbosaBF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BeckerBWW17,
  author       = {Heiko Becker and
                  Jasmin Christian Blanchette and
                  Uwe Waldmann and
                  Daniel Wand},
  editor       = {Leonardo de Moura},
  title        = {A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {432--453},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_27},
  doi          = {10.1007/978-3-319-63046-5\_27},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BeckerBWW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BenderS17,
  author       = {Markus Bender and
                  Viorica Sofronie{-}Stokkermans},
  editor       = {Leonardo de Moura},
  title        = {Decision Procedures for Theories of Sets with Measures},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {166--184},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_11},
  doi          = {10.1007/978-3-319-63046-5\_11},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BenderS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BlancoCM17,
  author       = {Roberto Blanco and
                  Zakaria Chihani and
                  Dale Miller},
  editor       = {Leonardo de Moura},
  title        = {Translating Between Implicit and Explicit Versions of Proof},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {255--273},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_16},
  doi          = {10.1007/978-3-319-63046-5\_16},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BlancoCM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BonacinaGS17,
  author       = {Maria Paola Bonacina and
                  St{\'{e}}phane Graham{-}Lengrand and
                  Natarajan Shankar},
  editor       = {Leonardo de Moura},
  title        = {Satisfiability Modulo Theories and Assignments},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {42--59},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_4},
  doi          = {10.1007/978-3-319-63046-5\_4},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BonacinaGS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BrockschmidtJT017,
  author       = {Marc Brockschmidt and
                  Sebastiaan J. C. Joosten and
                  Ren{\'{e}} Thiemann and
                  Akihisa Yamada},
  editor       = {Leonardo de Moura},
  title        = {Certifying Safety and Termination Proofs for Integer Transition Systems},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {454--471},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_28},
  doi          = {10.1007/978-3-319-63046-5\_28},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BrockschmidtJT017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/BrotherstonGK17,
  author       = {James Brotherston and
                  Nikos Gorogiannis and
                  Max I. Kanovich},
  editor       = {Leonardo de Moura},
  title        = {Biabduction (and Related Problems) in Array Separation Logic},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {472--490},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_29},
  doi          = {10.1007/978-3-319-63046-5\_29},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/BrotherstonGK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/CimattiGIRS17,
  author       = {Alessandro Cimatti and
                  Alberto Griggio and
                  Ahmed Irfan and
                  Marco Roveri and
                  Roberto Sebastiani},
  editor       = {Leonardo de Moura},
  title        = {Satisfiability Modulo Transcendental Functions via Incremental Linearization},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {95--113},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_7},
  doi          = {10.1007/978-3-319-63046-5\_7},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/CimattiGIRS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/CristiaR17,
  author       = {Maximiliano Cristi{\'{a}} and
                  Gianfranco Rossi},
  editor       = {Leonardo de Moura},
  title        = {A Decision Procedure for Restricted Intensional Sets},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {185--201},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_12},
  doi          = {10.1007/978-3-319-63046-5\_12},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/CristiaR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Cruanes17,
  author       = {Simon Cruanes},
  editor       = {Leonardo de Moura},
  title        = {Satisfiability Modulo Bounded Checking},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {114--129},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_8},
  doi          = {10.1007/978-3-319-63046-5\_8},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Cruanes17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Cruz-FilipeHHKS17,
  author       = {Lu{\'{\i}}s Cruz{-}Filipe and
                  Marijn J. H. Heule and
                  Warren A. Hunt Jr. and
                  Matt Kaufmann and
                  Peter Schneider{-}Kamp},
  editor       = {Leonardo de Moura},
  title        = {Efficient Certified {RAT} Verification},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {220--236},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_14},
  doi          = {10.1007/978-3-319-63046-5\_14},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Cruz-FilipeHHKS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/EchenimP17,
  author       = {Mnacho Echenim and
                  Nicolas Peltier},
  editor       = {Leonardo de Moura},
  title        = {The Binomial Pricing Model in Finance: {A} Formalization in Isabelle},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {546--562},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_33},
  doi          = {10.1007/978-3-319-63046-5\_33},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/EchenimP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ErbaturMR17,
  author       = {Serdar Erbatur and
                  Andrew M. Marshall and
                  Christophe Ringeissen},
  editor       = {Leonardo de Moura},
  title        = {Notions of Knowledge in Combinations of Theories Sharing Constructors},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {60--76},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_5},
  doi          = {10.1007/978-3-319-63046-5\_5},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ErbaturMR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/FarberKU17,
  author       = {Michael F{\"{a}}rber and
                  Cezary Kaliszyk and
                  Josef Urban},
  editor       = {Leonardo de Moura},
  title        = {Monte Carlo Tableau Proof Search},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {563--579},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_34},
  doi          = {10.1007/978-3-319-63046-5\_34},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/FarberKU17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GleissK017,
  author       = {Bernhard Gleiss and
                  Laura Kov{\'{a}}cs and
                  Martin Suda},
  editor       = {Leonardo de Moura},
  title        = {Splitting Proofs for Interpolation},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {291--309},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_18},
  doi          = {10.1007/978-3-319-63046-5\_18},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/GleissK017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HeuleKB17,
  author       = {Marijn J. H. Heule and
                  Benjamin Kiesl and
                  Armin Biere},
  editor       = {Leonardo de Moura},
  title        = {Short Proofs Without New Variables},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {130--147},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_9},
  doi          = {10.1007/978-3-319-63046-5\_9},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HeuleKB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HorbachVW17,
  author       = {Matthias Horbach and
                  Marco Voigt and
                  Christoph Weidenbach},
  editor       = {Leonardo de Moura},
  title        = {On the Combination of the Bernays-Sch{\"{o}}nfinkel-Ramsey Fragment
                  with Simple Linear Integer Arithmetic},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {77--94},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_6},
  doi          = {10.1007/978-3-319-63046-5\_6},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HorbachVW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/HustadtOD17,
  author       = {Ullrich Hustadt and
                  Ana Ozaki and
                  Clare Dixon},
  editor       = {Leonardo de Moura},
  title        = {Theorem Proving for Metric Temporal Logic over the Naturals},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {326--343},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_20},
  doi          = {10.1007/978-3-319-63046-5\_20},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/HustadtOD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ItegulovSP17,
  author       = {Daniyar Itegulov and
                  John Slaney and
                  Bruno Woltzenlogel Paleo},
  editor       = {Leonardo de Moura},
  title        = {Scavenger 0.1: {A} Theorem Prover Based on Conflict Resolution},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {344--356},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_21},
  doi          = {10.1007/978-3-319-63046-5\_21},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ItegulovSP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Kiesl017,
  author       = {Benjamin Kiesl and
                  Martin Suda},
  editor       = {Leonardo de Moura},
  title        = {A Unifying Principle for Clause Elimination in First-Order Logic},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {274--290},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_17},
  doi          = {10.1007/978-3-319-63046-5\_17},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Kiesl017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Lammich17,
  author       = {Peter Lammich},
  editor       = {Leonardo de Moura},
  title        = {Efficient Verified {(UN)SAT} Certificate Checking},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {237--254},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_15},
  doi          = {10.1007/978-3-319-63046-5\_15},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/Lammich17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/LonsingE17,
  author       = {Florian Lonsing and
                  Uwe Egly},
  editor       = {Leonardo de Moura},
  title        = {DepQBF 6.0: {A} Search-Based {QBF} Solver Beyond Traditional {QCDCL}},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {371--384},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_23},
  doi          = {10.1007/978-3-319-63046-5\_23},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/LonsingE17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/MengRTB17,
  author       = {Baoluo Meng and
                  Andrew Reynolds and
                  Cesare Tinelli and
                  Clark W. Barrett},
  editor       = {Leonardo de Moura},
  title        = {Relational Constraint Solving in {SMT}},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {148--165},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_10},
  doi          = {10.1007/978-3-319-63046-5\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/MengRTB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/NagashimaK17,
  author       = {Yutaka Nagashima and
                  Ramana Kumar},
  editor       = {Leonardo de Moura},
  title        = {A Proof Strategy Language and Proof Script Generation for Isabelle/HOL},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {528--545},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_32},
  doi          = {10.1007/978-3-319-63046-5\_32},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/NagashimaK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/NageleFM17,
  author       = {Julian Nagele and
                  Bertram Felgenhauer and
                  Aart Middeldorp},
  editor       = {Leonardo de Moura},
  title        = {{CSI:} New Evidence - {A} Progress Report},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {385--397},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_24},
  doi          = {10.1007/978-3-319-63046-5\_24},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/NageleFM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/PapapanagiotouF17,
  author       = {Petros Papapanagiotou and
                  Jacques D. Fleuriot},
  editor       = {Leonardo de Moura},
  title        = {WorkflowFM: {A} Logic-Based Framework for Formal Process Specification
                  and Composition},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {357--370},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_22},
  doi          = {10.1007/978-3-319-63046-5\_22},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/PapapanagiotouF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/PassmoreI17,
  author       = {Grant Olney Passmore and
                  Denis Ignatovich},
  editor       = {Leonardo de Moura},
  title        = {Formal Verification of Financial Algorithms},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {26--41},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_3},
  doi          = {10.1007/978-3-319-63046-5\_3},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/PassmoreI17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SantosGMN17,
  author       = {Jos{\'{e}} Fragoso Santos and
                  Philippa Gardner and
                  Petar Maksimovic and
                  Daiva Naudziuniene},
  editor       = {Leonardo de Moura},
  title        = {Towards Logic-Based Verification of JavaScript Programs},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {8--25},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_2},
  doi          = {10.1007/978-3-319-63046-5\_2},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SantosGMN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SternagelS17,
  author       = {Christian Sternagel and
                  Thomas Sternagel},
  editor       = {Leonardo de Moura},
  title        = {Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional
                  Term Rewrite Systems},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {413--431},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_26},
  doi          = {10.1007/978-3-319-63046-5\_26},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/SternagelS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/TellezB17,
  author       = {Gadi Tellez and
                  James Brotherston},
  editor       = {Leonardo de Moura},
  title        = {Automatically Verifying Temporal Properties of Pointer Programs with
                  Cyclic Proof},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {491--508},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_30},
  doi          = {10.1007/978-3-319-63046-5\_30},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/TellezB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/TeuckeW17,
  author       = {Andreas Teucke and
                  Christoph Weidenbach},
  editor       = {Leonardo de Moura},
  title        = {Decidability of the Monadic Shallow Linear First-Order Fragment with
                  Straight Dismatching Constraints},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {202--219},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_13},
  doi          = {10.1007/978-3-319-63046-5\_13},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/TeuckeW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/XuCW17,
  author       = {Zhaowei Xu and
                  Taolue Chen and
                  Zhilin Wu},
  editor       = {Leonardo de Moura},
  title        = {Satisfiability of Compositional Separation Logic with Tree Predicates
                  and Data Constraints},
  booktitle    = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  pages        = {509--527},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5\_31},
  doi          = {10.1007/978-3-319-63046-5\_31},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/XuCW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cade/2017,
  editor       = {Leonardo de Moura},
  title        = {Automated Deduction - {CADE} 26 - 26th International Conference on
                  Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10395},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-63046-5},
  doi          = {10.1007/978-3-319-63046-5},
  isbn         = {978-3-319-63045-8},
  timestamp    = {Thu, 29 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/2017.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.