编辑配置文件（在新选项卡中打开） Le，Thi Thieu Hoa先生 合著者距离 作者ID： 列支敦士登 发布日期： Le，Thi Thieu Hoa先生 已编制索引的文档： 2出版物自2011年起 合著者： 2合著者具有2联合出版物 84位合作作者 合著者 0 单作者的 2 阿尔贝托·格里乔 2 罗伯托·塞巴斯蒂亚尼 系列 1 计算机科学中的逻辑方法 字段 2 数学逻辑和基础（03-XX） 2 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用5中的次5文件 引用人▼ 年份▼ 可满足模线性整数算法中的高效插值生成。 Zbl 1315.68179号 阿尔贝托·格里乔;黎锡秋和;罗伯托·塞巴斯蒂亚尼 5 2011 可满足模线性整数算法中的高效插值生成。 Zbl 1315.68179号 阿尔贝托·格里乔;Le，Thi Thieu Hoa先生;罗伯托·塞巴斯蒂亚尼 5 2011 全部的 前5名11位作者引用 2 菲利普·吕默 1 彼得·贝克曼 1 安吉洛·布里洛特 1 安迪·金 1 丹尼尔·科宁 1 肯尼思·麦克米兰。 1 塔卡马萨·奥库多诺 1 托特拉，尼桑特 1 托马斯·沃尔 1 托马斯·维斯 1 Aleksandar Zeljić 2篇连载文章中引用 2 自动推理杂志 1 系统设计中的形式化方法 在2个字段中引用 5 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 按年份列出的引文