文献
J-GLOBAL ID:201202204415652013
整理番号:12A0397290
CHRフラグメントにおける決定可能性特性
Decidability properties for fragments of CHR
著者 (4件):
GABBRIELLI Maurizio
(Universita di Bologna, ITA)
,
MAURO Jacopo
(Universita di Bologna, ITA)
,
MEO Maria Chiara
(Universita di Chieti Pescara, ITA)
,
SNEYERS Jon
(K. U. Leuven, BEL)
資料名:
Theory and Practice of Logic Programming
(Theory and Practice of Logic Programming)
巻:
10
号:
4/6
ページ:
611-626
発行年:
2010年07月
JST資料番号:
A1393A
ISSN:
1471-0684
資料種別:
逐次刊行物 (A)
発行国:
イギリス (GBR)
言語:
英語 (EN)