Tim Seppelt

この論文では、論理システムを表現するためにゲームコモナドを使う際の課題を検討しています。

カウントロジックの概要とそれがグラフ分析に与える影響。