講演・口頭発表等

国際会議
2018年12月

On Cut-elimination in Cyclic Proof Systems

The 4th Workshop on New Ideas and Emerging Results in Programming Languages and Systems (NIER 2018)
  • Daisuke Kimura
  • ,
  • Koji Nakazawa
  • ,
  • Tachio Terauchi
  • ,
  • Hiroshi Unno

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