Volume: Vol-4241 PAAR 2026 | Year: 2026

Paper: « short2 | paper3 | paper4 »

Bridging the gap: A complete axiomatization of Gregorian date arithmetic and scheduling logic for automated theorem provers