Automated Deduction – CADE 27

27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

  • Pascal Fontaine

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11716)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 11716)

Table of contents

  1. Front Matter
    Pages i-xxiii
  2. Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michael Rusinowitch
    Pages 1-17
  3. Alexsander Andrade de Melo, Mateus de Oliveira Oliveira
    Pages 18-34
  4. Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli, Clark Barrett
    Pages 35-54
  5. Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirović, Uwe Waldmann
    Pages 55-73
  6. Ahmed Bhayat, Giles Reger
    Pages 74-93
  7. Brandon Bohrer, Manuel Fernández, André Platzer
    Pages 94-110
  8. Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach
    Pages 111-122
  9. Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban
    Pages 123-141
  10. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
    Pages 142-160
  11. Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro
    Pages 161-177
  12. Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan
    Pages 178-196
  13. Karel Chvalovský, Jan Jakubův, Martin Suda, Josef Urban
    Pages 197-215
  14. Katherine Cordwell, André Platzer
    Pages 216-232
  15. Alberto Fiori, Christoph Weidenbach
    Pages 233-249
  16. Ulrich Furbach, Teresa Krämer, Claudia Schon
    Pages 250-268
  17. Jürgen Giesl, Peter Giesl, Marcel Hark
    Pages 269-286
  18. Raúl Gutiérrez, Salvador Lucas
    Pages 287-299
  19. Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Tomáš Vojnar
    Pages 300-318
  20. Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi
    Pages 319-336
  21. Christina Kohl, Aart Middeldorp
    Pages 337-353 Open Access
  22. Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark Barrett, Cesare Tinelli
    Pages 366-384
  23. Dennis Peuter, Viorica Sofronie-Stokkermans
    Pages 385-405
  24. David A. Plaisted
    Pages 406-424
  25. André Platzer
    Pages 425-441 Open Access
  26. Michael Rawson, Giles Reger
    Pages 462-476
  27. Giles Reger, Andrei Voronkov
    Pages 477-494
  28. Stephan Schulz, Simon Cruanes, Petar Vukmirović
    Pages 495-507
  29. Christian Sternagel, Sarah Winkler
    Pages 508-525 Open Access
  30. Geoff Sutcliffe, Francis Jeffry Pelletier
    Pages 526-537
  31. Patrick Trentin, Roberto Sebastiani
    Pages 550-567
  32. Back Matter
    Pages 581-582

About these proceedings


This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019.
The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience.



artificial intelligence automata theory classification computability and decidability computer architecture decision procedure first order logic formal logic model checking parallel processing systems problem solving program compilers programming languages semantics software engineering software evaluation theorem provers theorem proving verification

Editors and affiliations

  • Pascal Fontaine
    • 1
  1. 1.University of LorraineVillers-lès-NancyFrance

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-29435-9
  • Online ISBN 978-3-030-29436-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Health & Hospitals
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences