编辑配置文件(在新选项卡中打开) 马修·菲利普 合著者距离 作者ID: 菲利普·马修 发布日期: 马修·菲利普 已编制索引的文档: 1出版物自2019年起 合著者: 3位合著者具有1联合出版物 104位合作作者 合著者 0 单作者的 1 扎尼斯·阿内夫拉维斯 1 尼尔,丹尼尔 1 保罗·塔布阿达 系列 字段 1 计算机科学(68-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用2中的次2文件 引用人▼ 年份▼ 埃夫罗斯托斯。rLTL验证器。 Zbl 07120157号 扎尼斯·阿内夫拉维斯;尼尔,丹尼尔;马修·菲利普;保罗·塔布阿达 2 2019 埃夫罗斯托斯。rLTL验证器。 Zbl 07120157号 扎尼斯·阿内夫拉维斯;尼尔,丹尼尔;马修·菲利普;保罗·塔布阿达 2 2019 全部的 前5名被6位作者引用 2 尼尔,丹尼尔 2 亚历山大·韦内特 2 马丁·齐默尔曼 1 科托·N·马斯克。 1 马克西米利安·施温格 1 保罗·塔布阿达 2篇连载文章中引用 1 信息与计算 1 系统设计中的形式化方法 在2个字段中引用 2 数学逻辑和基础(03-XX) 2 计算机科学(68-XX) 按年份列出的引文