Ebook: Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Author: Moura Leonardo de
- Tags: Automatic theorem proving -- Congresses, Logic Symbolic and mathematical -- Congresses, Automatic theorem proving, Logic Symbolic and mathematical
- Series: Lecture notes in computer science. Lecture notes in artificial intelligence, 10395., LNCS sublibrary. SL 7 Artificial intelligence
- Year: 2017
- Publisher: Springer
- City: Gothenburg, Sweden)
- Language: English
- pdf
The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.
Abstract: The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license