Automated Deduction – CADE 26

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

  • Leonardo de Moura
Conference proceedings CADE 2017

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
  17. Ullrich Hustadt, Ana Ozaki, Clare Dixon
    Pages 326-343
  18. Daniyar Itegulov, John Slaney, Bruno Woltzenlogel Paleo
    Pages 344-356
  19. Petros Papapanagiotou, Jacques Fleuriot
    Pages 357-370
  20. Florian Lonsing, Uwe Egly
    Pages 371-384
  21. Julian Nagele, Bertram Felgenhauer, Aart Middeldorp
    Pages 385-397
  22. Haniel Barbosa, Jasmin Christian Blanchette, Pascal Fontaine
    Pages 398-412
  23. Christian Sternagel, Thomas Sternagel
    Pages 413-431 Open Access
  24. Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand
    Pages 432-453
  25. Marc Brockschmidt, Sebastiaan J. C. Joosten, René Thiemann, Akihisa Yamada
    Pages 454-471
  26. James Brotherston, Nikos Gorogiannis, Max Kanovich
    Pages 472-490
  27. Yutaka Nagashima, Ramana Kumar
    Pages 528-545
  28. Mnacho Echenim, Nicolas Peltier
    Pages 546-562
  29. Michael Färber, Cezary Kaliszyk, Josef Urban
    Pages 563-579
  30. Back Matter
    Pages 581-582

About these proceedings


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


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