Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10395)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: CADE 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (34 papers)
-
Front Matter
Other volumes
-
Automated Deduction – CADE 26
Keywords
About this book
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017.
The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.
The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.
Editors and Affiliations
Bibliographic Information
Book Title: Automated Deduction – CADE 26
Book Subtitle: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings
Editors: Leonardo de Moura
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-63046-5
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-63045-8Published: 11 July 2017
eBook ISBN: 978-3-319-63046-5Published: 09 July 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 582
Number of Illustrations: 87 b/w illustrations
Topics: Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Software Engineering, Algorithm Analysis and Problem Complexity