Clemens Eisenhofer

Latest

• Strongly Analytic Calculi for KLM Logics with SMT-Based Prover