编辑配置文件(在新选项卡中打开) 约塔姆·M·Y·费尔德曼。 合著者距离 作者ID: 费尔德曼·约坦-m-y 发布日期: 约塔姆·M·Y·费尔德曼。 已编制索引的文档: 7出版物自2017年起 合著者: 10位合著者具有7联合出版物 239位Co-Co作者 全部的 前5名合著者 0 单作者的 7 沙龙·肖姆 4 穆利萨吉夫 3 奥德·帕顿 2 尼尔·伊梅尔曼 1 康斯坦丁·埃纳 1 阿斯亚·弗鲁姆金 1 安大略省Lhoták 1 亚当·莫里森 1 诺姆·里内茨基 1 詹姆斯·威尔科克斯。 系列 1 计算机科学中的逻辑方法 领域 7 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 zbMATH Open中包含的引文 3出版物有被引用5中的次4文件 引用人▼ 年份▼ 用于检查归纳不变量的有界量词实例化。 Zbl 1509.68162号 约塔姆·M·Y·费尔德曼。;奥德·帕顿;尼尔·伊梅尔曼;穆利萨吉夫;沙龙·肖姆 3 2019 用于检查归纳不变量的有界量词实例化。 Zbl 1452.68119号 约塔姆·M·Y·费尔德曼。;奥德·帕顿;尼尔·伊梅尔曼;穆利萨吉夫;沙龙·肖姆 1 2017 从相位结构推断归纳不变量。 Zbl 07805835号 约塔姆·M·Y·费尔德曼。;詹姆斯·威尔科克斯。;沙龙·肖姆;穆利萨吉夫 1 2019 用于检查归纳不变量的有界量词实例化。 Zbl 1509.68162号 约塔姆·M·Y·费尔德曼。;奥德·帕顿;尼尔·伊梅尔曼;穆利萨吉夫;沙龙·肖姆 3 2019 从相位结构推断归纳不变量。 Zbl 07805835号 约塔姆·M·Y·费尔德曼。;詹姆斯·威尔科克斯。;沙龙·肖姆;穆利萨吉夫 1 2019 用于检查归纳不变量的有界量词实例化。 Zbl 1452.68119号 约塔姆·M·Y·费尔德曼。;奥德·帕顿;尼尔·伊梅尔曼;穆利萨吉夫;沙龙·肖姆 1 2017 全部的 前5名8位作者引用 1 亚历山德罗·西马蒂 1 阿扎德法尔赞 1 阿尔贝托·格里乔 1 克里斯坦·米勒 1 维克托·尼科莱特 1 弗朗切斯科·兰扎托 1 吉安卢卡·雷登迪 1 赫尔穆特·塞德尔 0连载引用 在2个字段中引用 4 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文