LA-005 項書換えシステムにおける可簡約演算子とその応用(A. モデル・アルゴリズム・プログラミング)

• 中村, 正樹

• 二木, 厚吉

書誌事項

タイトル別名

• LA-005 Reducible operations of term rewriting systems and its application

収録刊行物

• 情報科学技術レターズ

  情報科学技術レターズ 3 13-14, 2004-08-20

  FIT(電子情報通信学会・情報処理学会)運営委員会

詳細情報

• CRID: 1050292572115831296
• NII論文ID: 110007634880
• NII書誌ID: AA1197723X
• Web Site: http://id.nii.ac.jp/1001/00147704/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles