MPG.eBooks - Description: Automated Deduction – CADE 26

Cover Image

Read Now

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

Bibliographic Details
Other Authors:	de Moura, Leonardo (Editor)
Format:	eBook
Language:	English
Published:	Cham Springer International Publishing 2017, 2017
Edition:	1st ed. 2017
Series:	Lecture Notes in Artificial Intelligence
Subjects:	Computer Science Logic And Foundations Of Programming Software Engineering Computer Science Algorithms Artificial Intelligence Formal Languages And Automata Theory Machine Theory
Online Access:	https://doi.org/10.1007/978-3-319-63046-5?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa

Description
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
Physical Description:	XI, 582 p. 87 illus online resource
ISBN:	9783319630465