Ausgabe 4/2023
Inhalt (8 Artikel)
Enabling Floating-Point Arithmetic in the Coq Proof Assistant
Érik Martin-Dorel, Guillaume Melquiond, Pierre Roux
Combining Stable Infiniteness and (Strong) Politeness
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark Barrett, Cesare Tinelli
Bisequent Calculus for Four-Valued Quasi-Relevant Logics: Cut Elimination and Interpolation
Andrzej Indrzejczak
Self-evident Automated Geometric Theorem Proving Based on Complex Number Identity
Xicheng Peng, Jingzhong Zhang, Mao Chen, Sannyuya Liu
Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments
Sen Zheng, Renate A. Schmidt
Formal Verification of Termination Criteria for First-Order Recursive Functions
Cesar A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron M. Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar da Silva, Thiago M. Ferreira Ramos