論文

査読有り 筆頭著者
2012年

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

コンピュータソフトウェア
  • 岩見 宗弘
  • ,
  • 青戸 等人

29
1
開始ページ
211
終了ページ
239
記述言語
日本語
掲載種別
研究論文(学術雑誌)

エクスポート
BibTeX RIS