単純型項書換え系上の依存対法における実効規則と直積型項へのラベル付け

書誌事項

タイトル別名
  • タンジュンガタコウ カキカエ ケイ ジョウ ノ イゾン タイホウ ニ オケル ジッコウ キソク ト チョクセキガタコウ エ ノ ラベル ヅケ

この論文をさがす

収録刊行物

参考文献 (6)*注記

もっと見る

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

問題の指摘

ページトップへ