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

• Corporate Author: SpringerLink (Online service)
• Other Authors: de Moura, Leonardo (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10395
• Subjects: Computer science.; Software engineering.; Algorithms.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Logics and Meanings of Programs.; Software Engineering.; Algorithm Analysis and Problem Complexity.

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

Table of Contents:

• Automated deduction
• Including foundations
• Applications.-Implementations
• Practical experience.