Home >

news ヘルプ

論文・著書情報


タイトル
和文: 
英文:General models and completeness of first-order modal mu-calculus 
著者
和文: 鹿島亮, Keishi Okamoto.  
英文: Ryo Kashima, Keishi Okamoto.  
言語 English 
掲載誌/書名
和文: 
英文:Journal of Logic and Computation 
巻, 号, ページ Vol. 18    No. 4    pp. 497-507
出版年月 2008年8月 
出版者
和文: 
英文: 
会議名称
和文: 
英文: 
開催地
和文: 
英文: 
DOI https://doi.org/10.1093/logcom/exm077

©2007 Institute of Science Tokyo All rights reserved.