A Proof Description Language and its Reduction System

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Hagiya Masami

  Research Institute For Mathematical Sciences Kyoto University

関連論文

• A Proof Description Language and its Reduction System
• Foundation of Logic Programming Based on Inductive Definition

スポンサーリンク