Overview
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9195)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: CADE 2015.
Buy print copy
About this book
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.
The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.
Similar content being viewed by others
Keywords
- Abstract interpretation
- Automated reasoning
- Complexity
- Encryption
- Finite models
- Higher-order logic
- Integer arithmetic
- Linear programming
- Logical frameworks
- Modal logic
- Model checking
- Model theory
- Program synthesis
- Proof automation
- SAT encoding
- Software verification
- Static semantics
- Tableaux
- Term rewriting
- Theorem proving
Table of contents (42 papers)
-
Past, Present and Future of Automated Deduction
-
Invited Talks
-
Competition Descriptions
-
Rewriting
-
Decision Procedures
Other volumes
-
Automated Deduction - CADE-25
Editors and Affiliations
Bibliographic Information
Book Title: Automated Deduction - CADE-25
Book Subtitle: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Editors: Amy P. Felty, Aart Middeldorp
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-21401-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-21400-9Published: 30 July 2015
eBook ISBN: 978-3-319-21401-6Published: 30 July 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXVIII, 640
Number of Illustrations: 93 b/w illustrations
Topics: Image Processing and Computer Vision, Artificial Intelligence, Algorithm Analysis and Problem Complexity, Information Systems Applications (incl. Internet), Computation by Abstract Devices, Pattern Recognition