Home >

news Help

Publication Information


Title
Japanese:到達可能関係の推移閉包を扱う様相論理のカノニカルモデルについて 
English: 
Author
Japanese: 鹿島亮.  
English: RYO KASHIMA.  
Language Japanese 
Journal/Book name
Japanese:京都大学数理解析研究所講究録 
English: 
Volume, Number, Page 1729        pp. 36-47
Published date Feb. 2011 
Publisher
Japanese:京都大学数理解析研究所 
English: 
Conference name
Japanese: 
English: 
Conference site
Japanese: 
English: 

©2007 Tokyo Institute of Technology All rights reserved.