编辑配置文件(在新选项卡中打开) 西蒙·多尔蒂 合著者距离 作者ID: 多塞提·西蒙 发布日期: 西蒙·多尔蒂 已编制索引的文档: 9出版物自2016年起,包括1个附加arXiv预打印 合著者: 10位合著者具有9联合出版物 153位合作作者 全部的 前5名合著者 0 单作者的 7 大卫·J·派姆。 1 保罗·布鲁内特 1 马修·科林森 1 亚历山大五世(Alexander V.Gheorghiu)。 1 托比亚斯·卡佩 1 凯文·麦克唐纳 1 朱里安·罗特 1 鲁本·罗伊,N.S。 1 亚历山德拉·席尔瓦 1 工资制造者,贾纳 系列 2 计算机科学中的逻辑方法 1 逻辑与计算杂志 领域 8 数理逻辑与基础(03-XX) 4 计算机科学(68至XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用24中的次13文件 引用人▼ 年份▼ 直观的分层图逻辑。 Zbl 1476.03024号 西蒙·多尔蒂;大卫·皮姆 7 2016 分离理论的模块化表格演算。 Zbl 1506.03073号 西蒙·多尔蒂;大卫·皮姆 4 2018 直觉分层图逻辑:语义和证明理论。 Zbl 1454.03030号 西蒙·多尔蒂;大卫·皮姆 4 2018 分离逻辑的Stone型对偶定理,通过其底层的束逻辑实现。 Zbl 1525.03094号 西蒙·多尔蒂;大卫·皮姆 三 2018 命题动态逻辑的一种基础不完善的标记证明系统。 Zbl 1435.03032号 西蒙·多尔蒂;鲁本·罗伊,N.S。 2 2019 分离逻辑的石头型对偶。 Zbl 1432.03046号 西蒙·多尔蒂;大卫·皮姆 2 2019 勘误表:“分层图的子结构逻辑”。 Zbl 1361.03014号 马修·科林森;凯文·麦克唐纳;西蒙·多尔蒂;大卫·皮姆 1 2017 部分可观测并发Kleene代数。 Zbl 07559476号 工资制造者,贾纳;保罗·布鲁内特;西蒙·多尔蒂;托比亚斯·卡佩;朱里安·罗特;亚历山德拉·席尔瓦 1 2020 部分可观测并发Kleene代数。 Zbl 07559476号 工资制造者,贾纳;保罗·布鲁内特;西蒙·多尔蒂;托比亚斯·卡佩;朱里安·罗特;亚历山德拉·席尔瓦 1 2020 命题动态逻辑的一种没有充分依据、有标签的证明系统。 Zbl 1435.03032号 西蒙·多尔蒂;鲁本·罗伊,N.S。 2 2019 分离逻辑的石头型对偶。 Zbl 1432.03046号 西蒙·多尔蒂;大卫·皮姆 2 2019 分离理论的模块化表格演算。 Zbl 1506.03073号 西蒙·多尔蒂;大卫·皮姆 4 2018 直觉分层图逻辑:语义和证明理论。 Zbl 1454.03030号 西蒙·多尔蒂;大卫·皮姆 4 2018 分离逻辑的Stone型对偶定理,通过其底层的束逻辑实现。 Zbl 1525.03094号 西蒙·多尔蒂;大卫·皮姆 三 2018 勘误表:“分层图的子结构逻辑”。 Zbl 1361.03014号 马修·科林森;凯文·麦克唐纳;西蒙·多尔蒂;大卫·皮姆 1 2017 直观的分层图形逻辑。 兹伯利1476.03024 西蒙·多尔蒂;大卫·皮姆 7 2016 所有引用的出版物 前5名被引用出版物 全部的 前5名24位作者引用 6 大卫·J·派姆。 4 西蒙·多尔蒂 1 阿夫沙里语、巴哈雷语 1 斯特凡·德姆里。 1 内特·福斯特 1 迪迪埃·加米歇 1 亚历山大五世(Alexander V.Gheorghiu)。 1 彼得·吉普森 1 托比亚斯·卡佩 1 皮埃尔·金梅尔 1 德克斯特·C·科赞。 1 格雷厄姆·埃米尔·利 1 塔德乌什·利塔克 1 艾蒂安·洛兹 1 阿莱西奥·曼苏蒂 1 Annabelle K.McIver。 1 布雷特·麦克林 1 吉勒莫梅内德斯·图拉塔 1 卡罗尔·摩根。 1 塔希里·拉贝哈加。 1 Rooduijn,简 1 朱里安·罗特 1 亚历山德拉·席尔瓦 1 工资制造者,贾纳 3篇连载文章中引用 4 计算机科学中的逻辑方法 1 纯粹与应用代数杂志 1 Studia Logica公司 在5个字段中引用 8 数理逻辑与基础(03-XX) 7 计算机科学(68至XX) 2 阶、格、有序代数结构(06-XX) 1 群论与推广(20-XX) 1 概率论与随机过程(60-XX) 按年份列出的引文