Slide
Show JP
☰
探り
ログイン
ユーザーアカウントの作成
Upload
×
ダウンロード
No category
最内書換えに基づく項書換え系の完全な書換え戦略
弱最内戦略を完全にするためのTRSの等価変換について
項書き換え系への変換に基づくメタ項書き換え計算の停止性
8 - 名古屋大学
