K-開発閉包な左線形項書換えシステムの合流性

書誌事項

タイトル別名
  • K カイハツ ヘイホウナ サセンケイコウ カキカエ システム ノ ゴウリュウセイ
  • 計算機科学の理論とその応用 RIMS研究集会報告集
  • ケイサンキ カガク ノ リロン ト ソノ オウヨウ RIMS ケンキュウ シュウカイ ホウコクシュウ

この論文をさがす

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ