ボトムアップ最内項書き換えシステムの最内到達可能性

• 高橋 翔大

• 青戸 等人

• 外山 芳人

書誌事項

タイトル別名

• ボトムアップ サイ ナイコウ カキカエ システム ノ サイ ナイ トウタツ カノウセイ
• Innermost Reachability of Bottom-Up Innermost Term Rewriting Systems

収録刊行物

• コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会 編

  コンピュータソフトウェア = Computer software / 日本ソフトウェア科学会 編 31 (1), 75-89, 2014-02

  東京 : 日本ソフトウェア科学会 ; 1984-

詳細情報

• CRID: 1520009407626393472
• NII論文ID: 40019961283
• NII書誌ID: AN10075819
• ISSN: 02896540
• NDL書誌ID: 025180407
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I025180407
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZM13(科学技術--科学技術一般--データ処理・計算機)
• データソース種別:
  • NDL
  • CiNii Articles
  • KAKEN