Automated Deduction – CADE 26

26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

  • Leonardo de Moura
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10395)

Table of contents

  1. Front Matter
    Pages I-XI
  2. José Fragoso Santos, Philippa Gardner, Petar Maksimović, Daiva Naudžiūnienė
    Pages 8-25
  3. Grant Olney Passmore, Denis Ignatovich
    Pages 26-41
  4. Maria Paola Bonacina, Stéphane Graham-Lengrand, Natarajan Shankar
    Pages 42-59
  5. Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
    Pages 60-76
  6. Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri, Roberto Sebastiani
    Pages 95-113
  7. Simon Cruanes
    Pages 114-129
  8. Marijn J. H. Heule, Benjamin Kiesl, Armin Biere
    Pages 130-147
  9. Baoluo Meng, Andrew Reynolds, Cesare Tinelli, Clark Barrett
    Pages 148-165
  10. Markus Bender, Viorica Sofronie-Stokkermans
    Pages 166-184
  11. Maximiliano Cristiá, Gianfranco Rossi
    Pages 185-201
  12. Luís Cruz-Filipe, Marijn J. H. Heule, Warren A. Hunt Jr., Matt Kaufmann, Peter Schneider-Kamp
    Pages 220-236
  13. Roberto Blanco, Zakaria Chihani, Dale Miller
    Pages 255-273
  14. Benjamin Kiesl, Martin Suda
    Pages 274-290
  15. Bernhard Gleiss, Laura Kovács, Martin Suda
    Pages 291-309
  16. Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease
    Pages 310-325

About these proceedings

Introduction

The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.

Keywords

abstract interpretation encryption higher-order logic integer arithmetic logical frameworks modal logic model theory program synthesis proof automation SAT encoding software verification static semantics tableaux term rewriting theorem proving

Editors and affiliations

  • Leonardo de Moura
    • 1
  1. 1.Microsoft ResearchRedmondUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-63046-5
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-63045-8
  • Online ISBN 978-3-319-63046-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book