関数プログラムの停止性証明のための辞書式経路順序

書誌事項

タイトル別名
  • カンスウ プログラム ノ テイシセイ ショウメイ ノ タメ ノ ジショシキ ケイロ ジュンジョ

この論文をさがす

収録刊行物

参考文献 (4)*注記

もっと見る

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

問題の指摘

ページトップへ