時相論理CTL*やその部分体系の公理化について | T2R2 東京工業大学リサーチリポジトリ

論文・著書情報

タイトル

和文:	*時相論理CTLやその部分体系の公理化について**
英文:

著者

和文:	鹿島亮, 岩波克.
英文:	RYO KASHIMA, Shu Iwanami.

言語

Japanese

掲載誌/書名

和文:	日本数学会2013年度秋季総合分科会数学基礎論および歴史分科会アブストラクト
英文:

巻, 号, ページ

出版年月

2013年9月

出版者

和文:
英文:

会議名称

和文:	日本数学会秋季総合分科会
英文:

開催地

和文:	松山市
英文:

©2007 Tokyo Institute of Technology All rights reserved.