1. Formal Verification of Termination Criteria for First-Order Recursive Functions

   • Cesar A. Muñoz
   • Mauricio Ayala-Rincón
   • Thiago M. Ferreira Ramos

   OriginalPaper 29 November 2023 Article: 40

   

2. Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments

   • Sen Zheng
   • Renate A. Schmidt

   OriginalPaper Open access 23 November 2023 Article: 39

   

3. Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity

   • Xicheng Peng
   • Jingzhong Zhang
   • Sannyuya Liu

   OriginalPaper 20 November 2023 Article: 38

   

4. Bisequent Calculus for Four-Valued Quasi-Relevant Logics: Cut Elimination and Interpolation

   • Andrzej Indrzejczak

   OriginalPaper Open access 16 November 2023 Article: 37

   

5. Finitary Type Theories With and Without Contexts

   • Philipp G. Haselwarter
   • Andrej Bauer

   OriginalPaper Open access 07 October 2023 Article: 36

   

6. Lower Bounds for QCDCL via Formula Gauge

   • Benjamin Böhm
   • Olaf Beyersdorff

   OriginalPaper Open access 27 September 2023 Article: 35

   

7. Combining Stable Infiniteness and (Strong) Politeness

   • Ying Sheng
   • Yoni Zohar
   • Cesare Tinelli

   Research 27 September 2023 Article: 34

   

8. Enabling Floating-Point Arithmetic in the Coq Proof Assistant

   • Érik Martin-Dorel
   • Guillaume Melquiond
   • Pierre Roux

   OriginalPaper 16 September 2023 Article: 33