1. First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice

   • Guillaume Burel
   • Guillaume Bury
   • Olivier Hermant

   OriginalPaper 23 September 2019 Pages: 1001 - 1050

   

2. Efficient Strategies for CEGAR-Based Model Checking

   • Ákos Hajdu
   • Zoltán Micskei

   OriginalPaper Open access 11 November 2019 Pages: 1051 - 1091

   

3. Exploring the Structure of an Algebra Text with Locales

   • Clemens Ballarin

   OriginalPaper 30 November 2019 Pages: 1093 - 1121

   

4. A Library for Formalization of Linear Error-Correcting Codes

   • Reynald Affeldt
   • Jacques Garrigue
   • Takafumi Saikawa

   OriginalPaper 06 January 2020 Pages: 1123 - 1164