YASUGI Mariko | Carnegie-Mellon University

スポンサーリンク

概要

• Yasugi Marikoの詳細を見る
• 同名の論文著者
• Carnegie-Mellon Universityの論文著者

関連著者

• YASUGI Mariko

  Carnegie-Mellon University

著作論文

• Cut elimination theorem for second order arithmetic with the Π11-comprehension axiom and the ω-rule

スポンサーリンク