論文

査読有り

2012年

無限項書き換えシステムにおける強頭部正規化可能性および一般生成性の自動反証

コンピュータソフトウェア

岩見宗弘
青戸等人

巻: 29
号: 1
開始ページ: 211
終了ページ: 239
記述言語: 日本語
掲載種別: 研究論文（学術雑誌）
DOI: 10.11309/jssst.29.1_211

リンク情報

DOI: https://doi.org/10.11309/jssst.29.1_211

ID情報

DOI : 10.11309/jssst.29.1_211

エクスポート: BibTeX RIS

論文リストへ