時相論理CTL*やその部分体系の公理化について
時相論理CTL*やその部分体系の公理化について
复制标题
关于时态逻辑CTL*及其子系统的公理化
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
鹿島亮，岩波克
中科院分区：
文献类型：
--
作者：
Shigeki TORIUMI;Keisuke INADA and Ryuta TAKASHIMA;倉田俊彦;M.Kondo;藤田憲悦;Daisuke WATANABE and Shigeki TORIUMI;M.Kondo;渡部大輔，永田康宏，鳥海重喜;Ken-etsu Fujita & Aleksy Schubert;鳥海重喜;鹿島亮，岩波克
