論理プログラムの等価変換とプログラム合成問題への応用

IPSJ Web Site

Bibliographic Information

Other Title
  • 創立25周年記念特集：論文：論理プログラムの等価変換とプログラム合成問題への応用
  • ロンリ プログラム ノ トウカ ヘンカン ト プログラム ゴウセイ モンダイ
  • Equivalence Preserving Logic Program Transformation and Its Application to Program Synthesis

Search this article

Journal

  • 情報処理

    情報処理 26 (11), p1423-1431, 1985-11-15

    東京 : 情報処理学会 ; 1960-

Keywords

Details 詳細情報について

Report a problem

Back to top