Holdings: Automated Deduction – CADE 26

Cover Image

QR Code

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.

Corporate Author:	SpringerLink (Online service)
Other Authors:	de Moura, Leonardo. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:	1st ed. 2017.
Series:	Lecture Notes in Artificial Intelligence ; 10395
Subjects:	Artificial intelligence. Mathematical logic. Computer logic. Software engineering. Algorithms. Artificial Intelligence. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Software Engineering. Algorithm Analysis and Problem Complexity.
Online Access:	https://doi.org/10.1007/978-3-319-63046-5

Internet

https://doi.org/10.1007/978-3-319-63046-5