文献
J-GLOBAL ID:200902189827709554
整理番号:93A0364415
条件付LOG仕様記述のための健全で完全な証明方法としての文脈書換え
Contextual rewriting as a sound and complete proof method for conditional LOG-specifications.
著者 (3件):
NAVARRO M
(EHU, San Sebastian, ESP)
,
OREJAS F
(UPC, Barcelona, ESP)
,
REMY J-L
(Univ. Nancy, Vandoevre, FRA)
資料名:
Acta Informatica
(Acta Informatica)
巻:
30
号:
2
ページ:
147-180
発行年:
1993年03月
JST資料番号:
E0786A
ISSN:
0001-5903
CODEN:
AINFA2
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)