Generation of Rewriting Programs from Horn Clause Specifications
スポンサーリンク
概要
著者
-
マンスフィールド グレン
Research Institute Of Electrical Communication Tohoku University
-
富樫 敦
Research Institute of Electrical Communication, Tohoku University
-
野口 正一
Research Institute of Electrical Communication, Tohoku University