IJCAR Best Papers
International Joint Conference on Automated Reasoning
1 papers · 2024–2024
← IJCAR 학회 정보🏆 2024(1)
Best Paper Award
Mechanised uniform interpolation for modal logics K, GL and ISLFérée, van der Giessen, van Gool & Shillito
Modal LogicProof Mechanization