Automated Deduction - CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings / [electronic resource] : edited by Pascal Fontaine. - 1st ed. 2019. - XXIII, 582 p. 110 illus., 56 illus. in color. online resource. - Lecture Notes in Artificial Intelligence, 11716 2945-9141 ; . - Lecture Notes in Artificial Intelligence, 11716 .

Automated Reasoning for Security Protocols -- Computer Deduction and (Formal) Proofs in Mathematics -- From Counter-Model-based Quantifier Instantiation to Quantifier Elimination in SMT -- The CADE-27 ATP System Competition - CASC-27 -- Unification modulo Lists with Reverse - Relation with Certain Word Equations -- On the Width of Regular Classes of Finite Structures -- Extending SMT solvers to Higher-Order Logic -- Superposition with Lambdas -- Restricted Combinatory Unification -- dLi: Definite Descriptions in Differential Dynamic Logic -- SPASS-SATT

This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. .

9783030294366

10.1007/978-3-030-29436-6 doi


Artificial intelligence.
Software engineering.
Electronic digital computers--Evaluation.
Machine theory.
Computer science.
Artificial Intelligence.
Software Engineering.
System Performance and Evaluation.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.

Q334-342 TA347.A78

006.3