文献

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)

タイトルに関連する用語 (2件)： フラグメント ,  決定可能性