Collection

Selected Extended Papers of CADE 2019

Submission status
Closed
This collection of the Journal of Automated Reasoning is dedicated to selected papers presented at the 27th International Conference on Automated Deduction (CADE-27), held at the Universidade Federal do Rio Grande do Norte, Natal, Brazil between August 23 and 30, 2019. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The six papers selected for the special issue (out of 34 papers presented at the conference) underwent a new and thorough reviewing and revision process, in accordance with the high standards of JARS.

Editors

  • Pascal Fontaine Pascal Fontaine

    Pascal Fontaine

    Pascal Fontaine is a Full Professor at the Montefiore Institute, University of Liège, Belgium.

Articles (7 in this collection)

  2. Superposition with Lambdas

    Authors (first, second and last of 5)

    • Alexander Bentkamp
    • Jasmin Blanchette
    • Uwe Waldmann
    • Content type: OriginalPaper
    • Open Access
    • Published: 21 August 2021
    • Pages: 893 - 940