编辑配置文件(在新选项卡中打开) 加迪·特利兹 合著者距离 作者ID: tellez.gadi公司 发布日期: 加迪·特利兹 已编制索引的文档: 4出版物自2012年起 合著者: 1位合著者具有2联合出版物 11位合作作者 合著者 0 单作者的 2 詹姆斯·布罗瑟斯顿 系列 1 欧洲物理杂志 1 统计物理杂志 1 自动推理杂志 领域 2 数学逻辑和基础(03-XX) 2 计算机科学(68至XX) 1 量子理论(81-XX) 1 统计力学,物质结构(82-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用11中的次9文件 引用人▼ 年份▼ 使用循环证明自动验证指针程序的时间属性。 兹比尔1468.68136 加迪·特利兹;詹姆斯·布罗瑟斯顿 7 2017 耦合参数为偶数值时球体上单组分等离子体的精确能量计算。 Zbl 1355.82047号 萨拉查,R。;Téllez,G。 5 2016 使用循环证明自动验证指针程序的时间属性。 Zbl 1468.68137号 加迪·特利兹;詹姆斯·布罗瑟斯顿 4 2020 使用循环证明自动验证指针程序的时间属性。 Zbl 1468.68137号 加迪·特利兹;詹姆斯·布罗瑟斯顿 4 2020 使用循环证明自动验证指针程序的时间属性。 Zbl 1468.68136号 加迪·特利兹;詹姆斯·布罗瑟斯顿 7 2017 耦合参数为偶数值时球体上单组分等离子体的精确能量计算。 Zbl 1355.82047号 萨拉查,R。;Téllez,G。 5 2016 所有引用出版物 前5名被引用出版物 全部的 前5名14位作者引用 三 科恩、利隆 2 阿夫沙里语、巴哈雷语 2 达斯,阿努帕姆 2 玛丽安娜·吉兰多 2 鲁本·罗伊,N.S。 1 罗马斯·阿隆德里斯 1 詹姆斯·布罗瑟斯顿 1 哈洛达斯·吉德拉 1 格雷厄姆·埃米尔·利 1 吉勒莫梅内德斯·图拉塔 1 Pliuškevičienï,艾达 1 普利乌什凯维奇乌斯,里贾曼塔斯 1 加迪·特利兹 1 多米尼克·韦尔 2篇连载文章中引用 2 自动推理杂志 1 Studia Logica公司 在2个字段中引用 6 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 按年份列出的引文