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)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, 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