特集「制約論理プログラミング」の編集にあたって (<特集>制約論理プログラミング)

スポンサーリンク

概要

• 論文の詳細を見る
• 日本ソフトウェア科学会の論文
• 1992-11-16

著者

• 坂井 公

  筑波大学数学系

関連論文

• 代数的仕様を用いたソフトウェア開発支援環境 : Metis-AS
• Metis-AS における代数的仕様の検証手続き
• 等式論理の帰納的定理を証明する手続き
• E単一化子の完全集合を求める推論規則
• 項書換えシステム「Metis」の実装
• 不偏ゲームの平坦性についての考察(セッション(6) : 一般)
• 標数2のある体上の代数方程式の求解
• 「結合子による高階単一化」再考
• 特集「制約論理プログラミング」の編集にあたって (制約論理プログラミング)

スポンサーリンク