文献

J-GLOBAL ID：201202230070123633   整理番号：12A0863341

決定論と冪等性のためのルールフォーマット

Rule formats for determinism and idempotence

著者 (5件)： ACETO Luca (Reykjavik Univ., Reykjavik, ISL) ,  INGOLFSDOTTIR Anna (Reykjavik Univ., Reykjavik, ISL) ,  BIRGISSON Arnar (Chalmers Univ. Technol., SWE) ,  MOUSAVI Mohammadreza (Eindhoven Univ. Technol., Eindhoven, NLD) ,  RENIERS Michel A. (Eindhoven Univ. Technol., Eindhoven, NLD)
資料名： Science of Computer Programming  (Science of Computer Programming)
巻： 77  号： 7-8  ページ： 889-907  発行年： 2012年 
JST資料番号： H0806A  ISSN： 0167-6423  CODEN： SCPGD4  資料種別： 逐次刊行物 (A)
発行国： オランダ (NLD)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： 冪 ,  ルール ,  フォーマット