Cover is for reference only

Automated Deduction CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 11, 2017, 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.

Saved in:
Bibliographic Details
Corporate Authors: SpringerLink Online service
Group Author: de Moura, Leonardo
Published: Springer International Publishing : Imprint: Springer,
Publisher Address: Cham :
Publication Dates: 2017.
Literature type: eBook
Language: English
Series: Lecture Notes in Computer Science, 10395
Subjects:
Computer science
Software engineering
Algorithms
Computer logic
Mathematical logic
Artificial intelligence
Artificial Intelligence incl. Robotics
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Online Access: http://dx.doi.org/10.1007/978-3-319-63046-5
Summary: The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.
Carrier Form: 1 online resource (XI, 582 pages): illustrations.
ISBN: 9783319630465
Index Number: Q334
CLC: TP18-532
Contents: Automated deduction -- Including foundations -- Applications.-Implementations -- Practical experience.

Related Book Recommendations