Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / Leonardo de Moura (ed.)

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

Online Access:	Full Text (via Springer)
Corporate Author:	International Conference on Automated Deduction Gothenburg, Sweden
Other Authors:	Moura, Leonardo de (Editor)
Format:	Conference Proceeding eBook
Language:	English
Published:	Cham, Switzerland : Springer, 2017.
Series:	Lecture notes in computer science ; 10395. LNCS sublibrary. Artificial intelligence. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses. Automatic theorem proving. Logic, Symbolic and mathematical. Conference papers and proceedings.