強計算性に基づいた単純型項書換え系の停止性証明法

書誌事項

タイトル別名
  • キョウ ケイサンセイ ニ モトヅイタ タンジュンガタコウ カキカエ ケイ ノ テイシセイ ショウメイホウ

この論文をさがす

収録刊行物

参考文献 (13)*注記

もっと見る

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

問題の指摘

ページトップへ