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

Back to online viewer

Download document