講演・口頭発表等

招待有り
2019年3月26日

Decidability of Presburger Arithmetic via Finite Automata

ロジック&オートマトンワークショップ in 秋田
  • 湯山孝雄

開催年月日
2019年3月26日 - 2019年3月27日
記述言語
英語
会議種別
口頭発表(招待・特別)