编辑配置文件(在新选项卡中打开) 科伦,特迈玛 合著者距离 作者ID: 科伦·特米玛 发布日期: 特迈玛·科伦 已编制索引的文档: 1出版物自1984年以来 合著者: 1位合著者具有1联合出版物 97合著作者 合著者 0 单作者的 1 阿米尔·普努利 系列 字段 1 数学逻辑和基础(03-XX) 1 计算机科学(68-XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用5中的次5文件 引用人▼ 年份▼ 存在可判定的上下文无关命题动态逻辑。 Zbl 0542.68020号 特迈玛·科伦;阿米尔·普努利 5 1984 存在可判定的上下文无关命题动态逻辑。 Zbl 0542.68020号 特迈玛·科伦;阿米尔·普努利 5 1984 全部的 前5名10位作者引用 1 斯特凡·格勒 1 大卫·哈雷 1 Rodney R.豪厄尔。 1 马丁·兰格 1 德克·诺沃特卡 1 迈克·帕特森。 1 阿米尔·普努利 1 路易斯·罗西尔(Louis E.Rosier)。 1 拉法·索姆拉 1 乔纳森·斯塔维 4篇连载文章中引用 2 计算机与系统科学杂志 1 信息处理信件 1 理论计算机科学 1 应用逻辑杂志 在2个字段中引用 5 计算机科学(68-XX) 4 数学逻辑和基础(03-XX) 按年份列出的引文