编辑配置文件（在新选项卡中打开） 图巴·亚武兹 作者ID： 亚武兹·图巴 发布日期： 图巴·亚武兹 已编制索引的文档： 3出版物自2015年起 合著者 三 单作者的 系列 1 国际分析与应用杂志 1 程序设计中的逻辑和代数方法杂志 领域 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 复变量的函数（30年XX月） 按年份列出的出版物 zbMATH Open中包含的引文 三出版物有被引用2中的次2文件 引用人▼ 年份▼ Ruscheweyh导数定义的解析函数的第二Hankel行列式。 Zbl 1379.30011号 T·雅武兹。 2 2015 部分谓词抽象和反例引导精化。 Zbl 1494.68177号 图巴·亚武兹 1 2020 将谓词抽象与不动点近似相结合。 Zbl 1390.68443号 图巴·亚武兹 1 2016 部分谓词抽象和反例引导精化。 Zbl 1494.68177号 图巴·亚武兹 1 2020 将谓词抽象与不动点近似相结合。 Zbl 1390.68443号 图巴·亚武兹 1 2016 Ruscheweyh导数定义的解析函数的第二Hankel行列式。 Zbl 1379.30011号 T·雅武兹。 2 2015 被5位作者引用 1 瓦利德·贝尔基尔 1 米歇尔·伦茨纳 1 Duy Nguyen先生 1 尼古拉斯·拉蒂尔 1 图巴·亚武兹 连载1篇 2 程序设计中的逻辑和代数方法杂志 在2个字段中引用 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文