講演・口頭発表等

2020年12月3日

語の問題が制約オートマトンで認識される群のクラスについて

第37回 記号論理と情報科学研究集会(SLACS2020)
  • 湯山孝雄

開催年月日
2020年12月3日 - 2020年12月4日
記述言語
日本語
会議種別
口頭発表(一般)

リンク情報
共同研究・競争的資金等の研究課題
一般のHilbertの第10問題と計算可能性理論