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
Categorie:
Anno:
2017
Casa editrice:
Springer
Lingua:
english
Pagine:
582
ISBN 10:
3319630466
ISBN 13:
9783319630465
Collana:
Lecture notes in computer science. Lecture notes in artificial intelligence ; 10395.; LNCS sublibrary. SL 7, Artificial intelligence
File:
PDF, 14.98 MB
IPFS:
,
english, 2017