logo
Term rewriting

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

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
University of Strathclyde, UK
Jun 16, 2025 - Jun 18, 2025
AlgebraCoalgebraComputer Science+52 その他

Annual Conference on Computer Science Logic (CSL)

Rank: BHybrid
Paris, France
Mar 2, 2026
automated deductioninteractive theorem provingconcurrency+7 その他