编辑配置文件(在新选项卡中打开) Ta、Quang-Trung 合著者距离 作者ID: ta.quang-trung公司 发布日期: Ta、Quang-Trung 已编制索引的文档: 5出版物自2013年起 合著者: 6位合著者具有5联合出版物 84位合作作者 全部的 前5名合著者 0 单作者的 4 魏恩根·钦 2 邱小成 2 Le,Ton Chanh先生 2 阮,Thanh-Toan 1 伊利亚·谢尔盖 1 德坎·特兰 系列 1 自动推理杂志 1 计算的形式方面 字段 5 计算机科学(68-XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 4出版物有被引用12中的次9文件 引用人▼ 年份▼ 分离逻辑中的自动互显归纳证明。 Zbl 1427.68350号 Ta、Quang-Trung;Le,Ton Chanh先生;邱小成;魏恩根·钦 5 2016 分离逻辑中的自动互感应证明。 Zbl 1425.68382号 Ta、Quang-Trung;Le,Ton Chanh先生;邱小成;魏恩根·钦 4 2019 使用形式验证和表达式模板自动修复程序。 Zbl 1522.68159号 阮,Thanh-Toan;Ta、Quang-Trung;魏恩根·钦 2 2019 使用演绎合成自动修复堆操作程序。 兹比尔1472.68040 阮,Thanh-Toan;Ta、Quang-Trung;伊利亚·谢尔盖;魏恩根·钦 1 2021 使用演绎合成自动修复堆操作程序。 Zbl 1472.68040号 阮,Thanh-Toan;Ta、Quang-Trung;伊利亚·谢尔盖;魏恩根·钦 1 2021 分离逻辑中的自动互感应证明。 Zbl 1425.68382号 Ta、Quang-Trung;Le,Ton Chanh先生;邱小成;魏恩根·钦 4 2019 使用形式验证和表达式模板自动修复程序。 Zbl 1522.68159号 阮,Thanh-Toan;Ta、Quang-Trung;魏恩根·钦 2 2019 分离逻辑中的自动互显归纳证明。 兹比尔1427.68350 Ta、Quang-Trung;Le,Ton Chanh先生;邱小成;魏恩根·钦 5 2016 所有引用出版物 排名前五的出版物 全部的 前5名28位作者引用 2 魏恩根·钦 2 伊利亚·谢尔盖 2 Ta、Quang-Trung 1 穆纳乔·埃切宁 1 哈达尔·弗兰克尔 1 奥尔纳·格伦伯格 1 拉杜·奥西夫 1 沙迦·伊扎基 1 邱小成 1 Kuncak,维克多 1 Le,Quang Loc公司 1 Le,Ton Chanh先生 1 Le,Xuan-Bach D。 1 克里斯托夫·Löding 1 帕塔萨拉西马杜苏丹 1 克里斯托夫·马提亚 1 阿迪蒂亚·穆拉利 1 阮,Thanh-Toan 1 詹斯·佩格尔 1 希拉·佩莱格 1 尼古拉斯·佩尔蒂埃 1 卢卡斯·佩尼亚 1 波利卡波娃,娜迪亚 1 巴特·陈·罗森伯格 1 鲁本·罗伊,N.S。 1 乔治·斯特凡·施密德 1 莎莱·申瓦尔德 1 弗洛里安·祖勒格 2篇连载文章中引用 1 计算的形式方面 1 ACM计算逻辑事务 在2个字段中引用 9 计算机科学(68-XX) 5 数学逻辑和基础(03-XX) 按年份列出的引文