Volume: Vol-4003 CILC 2025 | Year: 2025

Paper: « paper08 | paper09 | paper11 »

Proof Search and Countermodel Construction for iCK4

• Mauro Ferrari
• Camillo Fiorentini
• Paolo Giardini

PDF