编辑配置文件（在新选项卡中打开） 马蒂亚斯·泰格 合著者距离 作者ID： 老虎马蒂亚斯 发布日期： 老虎，马蒂亚斯 已编制索引的文档： 1出版物自2020年起 合著者： 1位合著者具有1联合出版物 8位合著者 合著者 0 单作者的 1 弗雷德里克·海因茨 系列 1 国际近似推理杂志 领域 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用2中的次2文件 引用人▼ 年份▼ 概率信号时序逻辑中的增量推理。 Zbl 1434.68562号 马蒂亚斯·泰格;弗雷德里克·海因茨 2 2020 概率信号时序逻辑中的增量推理。 Zbl 1434.68562号 老虎，马蒂亚斯;弗雷德里克·海因茨 2 2020 被5位作者引用 1 亚历山大·阿提基斯 1 埃琳娜·贝洛迪 1 Periklis Mantenoglou 1 乔治·巴利乌拉斯 1 汤姆·施里杰弗斯 连载1篇 2 国际近似推理杂志 在2个字段中引用 2 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的引文