Foundation of Logic Programming Based on Inductive Definition
スポンサーリンク
概要
著者
-
Hagiya Masami
Research Institute For Mathematical Sciences Kyoto University
-
Sakurai Takafumi
Department Of Information Science Faculty Of Science University Of Tokyo
-
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