講演・口頭発表等

国際会議
2019年3月

On Cut-Elimination Theorem in Cyclic-Proof Systems

Third Workshop on Mathematical Logic and its Applications (MLA 2019)
  • Koji Nakazawa
  • ,
  • Daisuke Kimura
  • ,
  • Tachio Terauchi
  • ,
  • Hiroshi Unno
  • ,
  • Kenji Saotome

記述言語
英語
会議種別
口頭発表(一般)