编辑配置文件(在新选项卡中打开) 安德烈·帕斯科维奇 合著者距离 作者ID: 帕斯克维奇·安德烈 发布日期: 安德烈·帕斯科维奇;安德烈·帕斯科维奇 主页: http://tertium.org/ 外部链接: MGP公司 已编制索引的文档: 12出版物自2002年起 2作为编辑的贡献 合著者: 13合著者具有12联合出版物 271合著作者 全部的 前5名合著者 2 单作者的 5 亚历山大·利亚列茨基。 5 康斯坦丁·沃奇宁 2 Jean-Christophe Filliátre 1 安纳托利·安尼西莫夫。 1 贾斯敏·克里斯蒂安·布兰切特 1 弗朗索瓦·博博特 1 Sylvain Conchon公司 1 安纳托利·伊万诺维奇·德吉亚列夫 1 克莱尔·德罗斯 1 莱昂·冈德尔曼 1 塞萨里·卡利西克 1 约翰内斯·卡尼格 1 托马斯·维斯 系列 2 自动推理杂志 1 系统设计中的形式化方法 1 应用逻辑杂志 1 计算机科学课堂讲稿 1 理论计算机科学电子论文集(EPTCS) 领域 14 计算机科学(68至XX) 4 数理逻辑与基础(03-XX) 2 总体主题;集合(00-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用115中的次93文件 引用人▼ 年份▼ Why3——程序遇到证明者的地方。 Zbl 1435.68366号 Jean-Christophe Filliátre;安德烈·帕斯科维奇 46 2013 TFF1:TPTP型一级形式,具有秩-1多态性。 Zbl 1381.68260号 贾斯敏·克里斯蒂安·布兰切特;安德烈·帕斯科维奇 17 2013 自动扣除系统(SAD):一种验证证据的工具。 Zbl 1213.68576号 康斯坦丁·沃奇宁;亚历山大·利亚列茨基;安德烈·帕斯科维奇 8 2007 从逻辑和实践的角度探讨数学文本的正确性。 Zbl 1166.68353号 康斯坦丁·沃奇宁;亚历山大·利亚列茨基;安德烈·帕斯科维奇;阿纳托利·阿尼西莫夫 7 2008 用多种语言表达多态类型。 Zbl 1348.68215号 弗朗索瓦·博博特;安德烈·帕斯科维奇 6 2011 使用带有触发器的公理向SMT求解器添加决策过程。 Zbl 1356.68187号 克莱尔·德罗斯;Sylvain Conchon公司;约翰内斯·卡尼格;安德烈·帕斯科维奇 6 2016 2015年8月2日至3日,德国柏林,第四届定理证明交换研讨会论文集。 兹比尔1490.68019 6 2015 自动演绎系统(SAD):语言和演绎特性。 Zbl 1088.68773号 亚历山大·利亚列茨基;康斯坦丁·沃奇宁;安纳托利·德吉亚列夫;安德烈·帕斯科维奇 5 2002 系统SAD中的定理证明和证明验证。 Zbl 1108.68573号 亚历山大·利亚列茨基;安德烈·帕斯科维奇;康斯坦丁·沃奇宁 4 2004 幽灵代码。 Zbl 1358.68070号 Jean-Christophe Filliátre;莱昂·冈德尔曼;安德烈·帕斯科维奇 4 2016 带有惰性参数调制的连接表。 Zbl 1144.03008号 安德烈·帕斯科维奇 三 2008 SAD作为一名数学助理——我们应该如何从这里走向那里? Zbl 1107.68099号 亚历山大·利亚列茨基;安德烈·帕斯凯维奇;康斯坦丁·沃奇宁 2 2006 带有惰性参数调制的连接表。 Zbl 1222.03015号 安德烈·帕斯科维奇 1 2006 使用带有触发器的公理向SMT求解器添加决策过程。 Zbl 1356.68187号 克莱尔·德罗斯;Sylvain Conchon公司;约翰内斯·卡尼格;安德烈·帕斯科维奇 6 2016 幽灵代码。 Zbl 1358.68070号 Jean-Christophe Filliátre;莱昂·冈德尔曼;安德烈·帕斯科维奇 4 2016 2015年8月2日至3日,德国柏林,第四届定理证明交换研讨会论文集。 Zbl 1490.68019号 6 2015 Why3——程序遇到证明者的地方。 Zbl 1435.68366号 Jean-Christophe Filliátre;安德烈·帕斯科维奇 46 2013 TFF1:TPTP型一级形式,具有秩-1多态性。 Zbl 1381.68260号 贾斯敏·克里斯蒂安·布兰切特;安德烈·帕斯科维奇 17 2013 用多种语言表达多态类型。 Zbl 1348.68215号 弗朗索瓦·博博特;安德烈·帕斯科维奇 6 2011 从逻辑和实践的角度探讨数学文本的正确性。 Zbl 1166.68353号 康斯坦丁·沃奇宁;亚历山大·利亚列茨基;安德烈·帕斯科维奇;阿纳托利·阿尼西莫夫 7 2008 具有惰性准调制的连接表。 Zbl 1144.03008号 安德烈·帕斯科维奇 三 2008 自动扣除系统(SAD):一种验证证据的工具。 Zbl 1213.68576号 康斯坦丁·沃奇宁;亚历山大·利亚列茨基;安德烈·帕斯科维奇 8 2007 SAD作为一名数学助理——我们应该如何从这里走向那里? Zbl 1107.68099号 亚历山大·利亚列茨基;安德烈·帕斯科维奇;康斯坦丁·沃奇宁 2 2006 带有惰性参数调制的连接表。 Zbl 1222.03015号 安德烈·帕斯科维奇 1 2006 系统SAD中的定理证明和证明验证。 Zbl 1108.68573号 亚历山大·利亚列茨基;安德烈·帕斯科维奇;康斯坦丁·沃奇宁 4 2004 自动演绎系统(SAD):语言和演绎特性。 Zbl 1088.68773号 亚历山大·利亚列茨基;康斯坦丁·沃奇宁;安纳托利·德吉亚列夫;安德烈·帕斯科维奇 5 2002 所有引用的出版物 前5名被引用出版物 全部的 前5名165位作者引用 7 亚历山大·本特坎普 7 贾斯敏·克里斯蒂安·布兰切特 6 安德烈·帕斯科维奇 5 塞萨里·卡利西克 5 索菲·托雷特 5 佩塔·武克米罗维奇 4 西蒙·克鲁恩斯 4 彼得·科普克 三 伊曼纽尔·德·安吉利斯 三 法比奥·菲奥拉万蒂 三 亚历山大·利亚列茨基。 三 Nummelin,维萨卡 三 阿尔贝托·佩特罗西 三 豪尔赫·索萨·品托 三 毛里齐奥·普罗埃蒂 三 贾尔斯·里格尔 三 杰夫·萨特克利夫 三 约瑟夫·乌尔班 三 乌韦·沃尔德曼 2 安德烈·阿鲁索艾 2 艾哈迈德·巴亚特 2 卞金亭 2 弗朗索瓦·博博特 2 纪尧姆·伯里 2 拉斐尔·考德利埃 2 乔达里,Dipak L。 2 马丁·克鲁查德 2 马克斯·克拉默 2 Om P.达马尼。 2 德波尔(Frank S。 2 斯蒂恩·德古乌 2 阿德里安·德隆 2 大卫·德拉哈耶 2 凯瑟琳·杜布瓦 2 玛丽亚·乔昂·弗雷德 2 Thibault Gauthier 2 简·赫尔曼·杰弗斯 2 莱昂贡德尔曼 2 Hiep,Hans-Dieter A。 2 彼得·兰米奇 2 安东·洛伦岑 2 卢伦索、科劳迪奥·贝洛 2 克劳德·马奇 2 阿德里安·马蒂 2 何塞·梅塞盖尔·瓜伊塔 2 弗洛里安·拉贝 2 拉斐尔·里乌·赫尔夫特 2 弗拉德·鲁苏 2 伯恩哈德·施罗德 2 马塞尔·舒茨 2 斯蒂芬·斯基里克 2 康斯坦丁·沃奇宁 1 杰西·阿拉玛 1 安纳托利·安尼西莫夫。 1 阿拉斯代尔·阿姆斯特朗 1 塞巴斯蒂安·巴丁 1 彼得·鲍姆加特纳 1 圣地亚哥包蒂斯塔 1 詹姆斯·巴克斯特 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 伊夫·贝托特 1 Böhme,萨沙 1 博斯特罗姆,蓬图斯 1 乍得·布朗·爱德华 1 纪尧姆·伯勒 1 曹勤祥 1 雅克·卡雷特 1 克利斯朵夫·查尔顿 1 玛莎·契契克 1 陈,冉 1 詹姆斯·切尼 1 魏恩根·钦 1 Sylvain Conchon公司 1 库卡斯·扎伊卡 1 西尔万·戴勒 1 克莱尔·德罗斯 1 简·杜拉茨 1 马尔科·艾尔斯 1 皮埃尔·卢伊斯·尤夫拉德 1 Farmer,William M。 1 马赫福扎·法鲁克 1 Jean-Christophe Filliátre 1 西蒙·福斯特 1 马可·加博阿迪 1 约翰·加拉赫(John P.Gallagher)。 1 迪帕克·加格 1 卡洛·盖齐 1 阿兰·乔治蒂 1 维克多·戈麦斯。 1 圣菲省格拉汉·伦格兰德 1 林赛·格罗夫斯。 1 皮埃尔·哈尔马格兰德 1 大卫·豪扎尔 1 何冠华 1 奥利维尔·赫曼特 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 富利亚·霍罗扎尔 1 莱因哈德·卡勒 1 亚历山大·坎金 1 约翰内斯·卡尼格 …还有65位作者 全部的 前5名18篇连载文章中引用 15 自动推理杂志 5 计算的形式方面 三 符号计算杂志 三 逻辑程序设计理论与实践 三 程序设计中的逻辑和代数方法杂志 2 理论计算机科学 2 系统设计中的形式化方法 2 数学与人工智能年鉴 2 计算机科学中的逻辑方法 2 形式化推理杂志 1 人工智能通信 1 Indagationes Mathematicae公司。新系列 1 控制论与系统分析 1 函数编程杂志 1 萨达纳 1 ACM计算逻辑事务 1 应用逻辑杂志 1 计算机科学中的数学 全部的 前5名在12个字段中引用 91 计算机科学(68至XX) 28 数理逻辑与基础(03-XX) 4 数值分析(65-XX) 三 范畴理论;同调代数(18-XX) 2 历史和传记(01-XX) 2 运筹学、数学规划(90-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 数论(11-XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文