Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Moura, Leonardo de
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
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
Kategorie:
Rok:
2017
Wydawnictwo:
Springer
Język:
english
Strony:
582
ISBN 10:
3319630466
ISBN 13:
9783319630465
Serie:
Lecture notes in computer science. Lecture notes in artificial intelligence ; 10395.; LNCS sublibrary. SL 7, Artificial intelligence
Plik:
PDF, 14.98 MB
IPFS:
,
english, 2017