小野 寛晰 | 広島大学理学部

スポンサーリンク

概要

• 同名の論文著者
• 広島大学理学部の論文著者

関連著者

• 小野 寛晰

  School Of Information Science Jaist

• 中村 昭

  Department Of Computer Science Meiji University

• 小野 寛晰

  広島大学理学部

• 中村 昭

  広島大学理学部

• 中村 昭

  広島大学工学部応用数学教室

著作論文

• Undecidable Extensions of Monadic First-Order Successor Arithmetic (情報科学の数学的基礎理論と応用)

スポンサーリンク