logo
Co-algebraic aspects

カンファレンス検索結果 (1)

Advances in Modal Logic (AiML)

Rank: BOffline
Amsterdam, The Netherlands
Jun 29, 2026 - Jul 3, 2026
Proof theoryautomated deductiondescription logics+8 その他