文献

J-GLOBAL ID：201902204304025038   整理番号：19S1398578

On compositional reasoning about anonymity and privacy in epistemic logic

著者 (4件)： Tsukada, Yasuyuki (NTT Communication Science Laboratories, NTT Corporation) ,  Sakurada, Hideki (NTT Communication Science Laboratories, NTT Corporation) ,  Mano, Ken (NTT Communication Science Laboratories, NTT Corporation) ,  Manabe, Yoshifumi (Kogakuin University)
資料名： Annals of Mathematics and Artificial Intelligence
巻： 78  号： 2  ページ： 101-129  発行年： 2016年 
JST資料番号： SCOPUS  ISSN： 1012-2443 
発行国： オランダ (NLD)  言語： 英語 (EN)