编辑配置文件（在新选项卡中打开） Hiromi Hiraishi 合著者距离 作者ID： hiraishi.hiromi 发布日期： Hiromi Hiraishi 已编制索引的文档： 6出版物自1988年起 合著者： 4位合著者具有6联合出版物 32位合作作者 合著者 0 单作者的 5 清朝滨口 4 山岛，Shuzo 2 新太郎梅基 1 川原贤治 系列 1 信息处理杂志 1 理论计算机科学 领域 5 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 2 信息和通信理论，电路（94-XX） 1 组合数学（05-XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用3次3文件 引用人▼ 年份▼ 用于线性时间复杂度模型检查的分支时间规则时序逻辑。 Zbl 0765.68126号 清朝滨口;Hiromi Hiraishi;山岛，Shuzo 2 1991 \（infty）-正则时态逻辑及其模型检查问题。 Zbl 0762.03011号 清朝滨口;Hiromi Hiraishi;山岛，Shuzo 1 1992 \（infty）-正则时态逻辑及其模型检查问题。 Zbl 0762.03011号 清朝滨口;Hiromi Hiraishi;山岛，Shuzo 1 1992 用于线性时间复杂度模型检查的分支时间规则时间逻辑。 Zbl 0765.68126号 清朝滨口;Hiromi Hiraishi;山岛，Shuzo 2 1991 全部的 前5名7位作者引用 2 拉杜·马特埃斯库 1 德容、希德 1 埃斯特尔·杜马斯 1 休伯特·加拉维 1 弗雷德里克·朗 1 佩德罗·蒙泰罗。 1 本·C·莫斯科夫斯基。 3篇连载文章中引用 1 信息学报 1 理论计算机科学 1 应用非经典逻辑杂志 在3个字段中引用 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文