编辑配置文件(在新选项卡中打开) 特里斯坦·克罗拉德 合著者距离 作者ID: 克罗拉德·特里斯坦 发布日期: 特里斯坦·克罗拉德;克罗拉德,T。 外部链接: MGP公司 已编制索引的文档: 8出版物自1999年起 1名编辑贡献 合著者: 7合著者具有5联合出版物 69位Co-Co作者 全部的 前5名合著者 4 单作者的 2 埃曼纽尔·波洛诺斯基 2 皮埃尔·瓦拉彻 1 丹尼尔·博基尔 1 吉安路易吉·贝林 1 斯特凡诺·贝拉尔迪 1 塞缪尔·拉卡斯 1 普罗科菲耶娃(Evguenia Prokofieva) 全部的 前5名系列 1 理论计算机科学 1 逻辑与计算杂志 1 北欧计算机杂志 1 函数编程杂志 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 领域 6 数学逻辑和基础(03-XX) 6 计算机科学(68至XX) 1 总体主题;集合(00-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物被引用45中的次34文件 引用人▼ 年份▼ 减法逻辑。 Zbl 0983.03047号 特里斯坦·克罗拉德 19 2001 减法逻辑的公式化解释。 Zbl 1050.03007号 特里斯坦·克罗拉德 14 2004 关于循环语言的表达能力。 Zbl 1161.68378号 特里斯坦·克罗拉德;塞缪尔·拉卡斯;皮埃尔·瓦拉彻 4 2006 带有捕获/抛出机制的汇合(lambda)演算。 Zbl 0954.68039号 特里斯坦·克罗拉德 4 1999 使用高阶过程变量扩展循环语言。 Zbl 1351.68048号 特里斯坦·克罗拉德;埃曼纽尔·波洛诺斯基;皮埃尔·瓦拉彻 2 2009 从形式化的控制概念中导出用于非局部跳跃的Floyd-Hoare逻辑。 Zbl 1259.03044号 克罗拉德,T。;Polonowski,E。 1 2012 基于抽象状态机和一阶时序逻辑的根竞争协议的自动参数验证。 Zbl 1126.68318号 丹尼尔·博基尔;特里斯坦·克罗拉德;叶夫盖尼亚普罗科菲耶娃 1 2004 从形式化的控制概念中导出用于非局部跳跃的Floyd-Hoare逻辑。 Zbl 1259.03044号 克罗拉德,T。;Polonowski,E。 1 2012 使用高阶过程变量扩展循环语言。 Zbl 1351.68048号 特里斯坦·克罗拉德;埃曼纽尔·波洛诺斯基;皮埃尔·瓦拉彻 2 2009 关于循环语言的表达能力。 Zbl 1161.68378号 特里斯坦·克罗拉德;塞缪尔·拉卡斯;皮埃尔·瓦拉彻 4 2006 减法逻辑的公式化解释。 Zbl 1050.03007号 特里斯坦·克罗拉德 14 2004 基于抽象状态机和一阶时序逻辑的根竞争协议的自动参数验证。 兹比尔1126.68318 丹尼尔·博基尔;特里斯坦·克罗拉德;普罗科菲耶娃(Evguenia Prokofieva) 1 2004 减法逻辑。 Zbl 0983.03047号 特里斯坦·克罗拉德 19 2001 带有捕获/抛出机制的汇合(lambda)演算。 Zbl 0954.68039号 特里斯坦·克罗拉德 4 1999 所有引用出版物 前5名被引用出版物 全部的 前5名被49位作者引用 三 泽纳·M·阿里奥拉。 三 吉安路易吉·贝林 三 雨果·赫贝林 三 卢卡·特兰奇尼 2 马西米利亚诺·卡拉拉 2 丹尼尔·奇菲 2 迪迪埃·加米歇 2 诺里希罗·卡米德 2 阿曼多·马托斯(Armando B.Matos)。 2 亚历山德罗·曼蒂 2 丹尼尔·梅里 2 阿穆尔·萨布里 2 皮埃尔·瓦拉彻 2 海因里希·西奥多 1 阿诺·阿夫隆 1 吉列尔莫·巴迪亚 1 丹尼尔·博基尔 1 Dariusz Biernacki 1 胡安·曼努埃尔·科内霍 1 特里斯坦·克罗拉德 1 吉姆·德·格罗特 1 德文萨·坎波斯(Devesas Campos,Marco) 1 哈雷III伊德斯 1 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 维克多·戈麦斯。 1 Yukiyoshi Kameyama 1 奥里·拉哈夫 1 塞尔盖·伦格利特 1 保罗·马费齐奥利 1 克里斯蒂娜·马塔奇 1 瑞安·麦克莱利 1 多米尼克·P·穆利根。 1 格里戈里·奥尔霍维科夫。 1 卢卡·保里尼 1 德克·帕丁森 1 弗兰克·芬宁 1 彼得·波列修克 1 埃曼纽尔·波洛诺斯基 1 琳达·波斯尼埃斯 1 杰珊·拉胡南丹 1 杰森·里德 1 卢卡·罗维斯 1 佐藤正彦 1 亚历克西斯·索林 1 雅罗斯拉夫·什兰科。 1 阿纳托尔·斯利森科 1 阿伦·斯塔姆 1 亚历山大·萨默斯。 1 詹姆斯·特拉福德 全部的 前5名15篇连载文章中引用 4 理论计算机科学 三 逻辑研究 2 高阶和符号计算 2 逻辑与逻辑哲学 2 计算机科学中的逻辑方法 2 符号逻辑综述 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 自动推理杂志 1 应用非经典逻辑杂志 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 1 泛逻辑 1 Logicheskie Issledovaniya公司 在3个字段中引用 30 数学逻辑和基础(03-XX) 14 计算机科学(68至XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的引文