文献

J-GLOBAL ID：201202207368700062   整理番号：12A1562724

分配性のためのルール形式

Rule formats for distributivity

著者 (5件)： ACETO Luca (Reykjavik Univ., Reykjavik, ISL) ,  CIMINI Matteo (Reykjavik Univ., Reykjavik, ISL) ,  INGOLFSDOTTIR Anna (Reykjavik Univ., Reykjavik, ISL) ,  MOUSAVI Mohammadreza (Eindhoven Univ. Technol., Eindhoven, NLD) ,  RENIERS Michel A. (Eindhoven Univ. Technol., Eindhoven, NLD)
資料名： Theoretical Computer Science  (Theoretical Computer Science)
巻： 458  ページ： 1-28  発行年： 2012年 
JST資料番号： T0022A  ISSN： 0304-3975  CODEN： TCSDIQ  資料種別： 逐次刊行物 (A)
発行国： オランダ (NLD)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： 分配 ,  ルール ,  形式