Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic
From MaRDI portal
Publication:6492757
DOI10.1007/978-3-031-38499-8_22MaRDI QIDQ6492757
Ullrich Hustadt, Fabio Papacchini, Cláudia Nalon, Clare Dixon
Publication date: 26 April 2024
Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
This page was built for publication: Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic
