ダウンロード
  1. No category

Document

スライド 1

スライド 1

項書き換え系への変換に基づくメタ項書き換え計算の停止性

項書き換え系への変換に基づくメタ項書き換え計算の停止性