编辑配置文件(在新选项卡中打开) 吉姆·格兰迪 合著者距离 作者ID: 粗鲁的吉姆 发布日期: 吉姆·格兰迪;J·格兰迪。 外部链接: 管理程序 已编制索引的文档: 10出版物自1997年起 4作为编辑的贡献 合著者: 17合著者具有11联合出版物 238位合作作者 全部的 前5名合著者 1 单作者的 4 萨瓦·A·克里斯蒂。 三 阿米特·高尔 三 塞萨尔·蒂内利 三 约阿金·冯·赖特 2 富克斯,亚历山大 2 汤姆·梅尔姆 1 回来了,拉尔夫·约翰 1 约翰·哈里森 1 约翰·霍斯金 1 托马斯·朗巴卡 1 格雷戈里·马莱查 1 肖恩·麦克劳林 1 Ivan先生 1 马尔科姆·纽伊。 1 卢克瑟纳斯、里姆维达斯 1 谢里夫·萨拉马 1 马丁·施文克 1 瓦利德·塔哈 1 安德烈·范德霍克 1 特雷弗·维克斯 全部的 前5名系列 2 计算机科学课堂讲稿 1 软件。实践与经验 1 计算的形式方面 1 函数编程杂志 1 高阶和符号计算 1 计算机科学中的逻辑方法 领域 13 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用39中的次37文件 引用人▼ 年份▼ 组合可满足性模参数理论。 Zbl 1186.68297号 萨瓦·克里斯蒂奇;阿米特·戈尔;吉姆·格兰迪;塞萨尔·蒂内利 13 2007 平等理论的地面插值。 Zbl 1234.68257号 富克斯,亚历山大;阿米特·戈尔;吉姆·格兰迪;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 11 2009 精化计算器:程序精化的证明支持。 Zbl 0886.68028号 迈克尔·巴特勒;吉姆·格兰迪;托马斯·朗巴卡;卢克瑟纳斯、里姆维达斯;约阿金·冯·赖特 5 1997 用于硬件设计和定理证明的反射函数语言。 兹比尔1086.68526 吉姆·格兰迪;汤姆·梅尔姆;约翰·奥利里 5 2006 平等理论的地面插值。 Zbl 1239.03022号 富克斯,亚历山大;阿米特·戈尔;吉姆·格兰迪;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 2 2012 结构化计算证明。 Zbl 0905.68139号 回来,拉尔夫;吉姆·格兰迪;约阿金·冯·赖特 2 1997 一阶解算器API的工具构建要求。 Zbl 1272.68358号 吉姆·格兰迪;汤姆·梅尔姆;萨瓦·克里斯蒂奇;肖恩·麦克劳林 1 2006 平等理论的地面插值。 Zbl 1239.03022号 富克斯,亚历山大;阿米特·戈尔;吉姆·格兰迪;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 2 2012 平等理论的地面插值。 Zbl 1234.68257号 富克斯,亚历山大;阿米特·戈尔;吉姆·格兰迪;萨瓦·克里斯蒂奇;塞萨尔·蒂内利 11 2009 组合可满足性模参数理论。 Zbl 1186.68297号 萨瓦·克里斯蒂奇;阿米特·戈尔;吉姆·格兰迪;塞萨尔·蒂内利 13 2007 用于硬件设计和定理证明的反射函数语言。 Zbl 1086.68526号 吉姆·格兰迪;汤姆·梅尔姆;O&rsquo的;约翰·李里 5 2006 一阶解算器API的工具构建要求。 Zbl 1272.68358号 吉姆·格兰迪;汤姆·梅尔姆;萨瓦·克里斯蒂奇;肖恩·麦克劳林 1 2006 精化计算器:程序精化的证明支持。 Zbl 0886.68028号 迈克尔·巴特勒;吉姆·格兰迪;托马斯·朗巴卡;卢克瑟纳斯、里姆维达斯;约阿金·冯·赖特 5 1997 结构化计算证明。 Zbl 0905.68139号 回来,拉尔夫;吉姆·格兰迪;约阿金·冯·赖特 2 1997 所有引用出版物 前5名被引用出版物 全部的 前5名62位作者引用 6 克拉克·W·巴雷特。 5 尤尼·佐哈尔 4 罗伯特·布鲁托梅索 4 克里斯托夫·林盖森 4 盛英 4 塞萨尔·蒂内利 三 亚历山德罗·西马蒂 三 阿尔贝托·格里乔 三 罗伯托·塞巴斯蒂亚尼 2 玛丽亚·保拉(Maria Paola Bonacina) 2 安娜·卡瓦尔坎蒂 2 法默,威廉·M。 2 帕斯卡尔·方丹 2 西尔维奥·吉拉尔迪 2 穆阿·约翰逊 2 萨瓦·A·克里斯蒂。 2 维克多·昆卡 2 简·兰格 2 何塞·梅塞盖尔·瓜伊塔 2 马塞尔·奥利维拉 2 西尔维奥·兰伊斯 2 安德鲁·雷诺兹 2 菲利普·吕默 2 斯蒂芬·斯基里克 2 宋晓宇 2 托马斯·怀斯 2 泽达,弗兰克 1 Joao Alpuim 1 回来了,拉尔夫·约翰 1 彼得·贝克曼 1 安吉洛·布里洛特 1 Cheng,Xi(西成) 1 科林·菲奇。 1 安德斯·弗朗森 1 阿米特·戈尔 1 埃里克·C·R·海纳。 1 胡亚伦·J·。 1 威廉·N·洪。 1 阿列克谢·伊利亚索夫 1 我是宣城 1 罗伯特·琼斯。 1 丹尼尔·科宁 1 莱比尼斯·利纳斯 1 Le,Thi Thieu Hoa先生 1 李永坚 1 松武公园 1 鲁齐卡皮斯卡 1 茨沃尼米尔·拉卡马里奇 1 亚历山大·罗曼诺夫斯基。 1 马蒂亚斯·施莱普费尔 1 罗宾·斯泰格 1 孙家光 1 菲利普·苏特 1 沃特·斯威斯特拉 1 Guilherme V.托莱多。 1 托特拉,尼桑特 1 Troubitsyna,埃琳娜·A。 1 托马斯·沃尔 1 乔治·威森巴赫 1 卢克·威尔德曼 1 Aleksandar Zeljić 1 周敏(Zhou,Min) 全部的 前5名12篇连载文章中引用 5 自动推理杂志 2 计算的形式方面 1 人工智能 1 数学信使 1 理论计算机科学 1 计算机程序设计科学 1 信息与计算 1 系统设计中的形式化方法 1 函数编程杂志 1 数学与人工智能年鉴 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 34 计算机科学(68至XX) 16 数学逻辑和基础(03-XX) 三 范畴理论;同调代数(18-XX) 2 数学教育(97-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的引文