编辑配置文件（在新选项卡中打开） 安德烈·沃伦科夫 合著者距离 作者ID： 沃伦科夫·阿安德雷 发布方式： 安德烈·沃伦科夫;沃伦科夫，A。 已编制索引的文档： 100种出版物自1992年以来 30作为编辑的贡献 合著者： 74合著者具有108联合出版物 2058合作作者 全部的 前5名合著者 20 单作者的 14 科瓦奇，劳拉·伊尔迪科 13 康斯坦丁·科洛文 12 安纳托利·伊万诺维奇·德吉亚列夫 9 贾尔斯·里格尔 9 亚历山大·里亚扎诺夫 6 尤里·古雷维奇 6 霍德、克里什托夫 5 塔蒂亚娜·瑞比纳 5 苏达，马丁 4 佩特拉·霍佐娃 4 罗伯特·纽文胡斯 4 伊琳娜·B·维碧茨卡岩。 三 马尔顿哈杜 三 约翰·肖斯·沃尔（Johannes Schoisswohl） 2 尼古拉·S·比约纳。 2 德米特里·列奥尼多维奇·丘巴罗夫 2 克拉克（Edmund Melson jun Clarke）。 2 丹钦、叶夫根尼 2 装配，梅尔文·克里斯 2 哈拉尔德·甘辛格 2 科特尔·尼科夫（Evgeny A.Kotel’nikov）。 2 伊曼·纳拉萨姆迪亚 2 巴利亚特·纳伦德兰 2 佩雷斯，胡安·安东尼奥·纳瓦罗 2 拉尔斯·塔尔曼 2 内斯塔·齐斯卡里泽 2 玛格斯·维纳斯 2 克里斯托夫·韦登巴赫 1 弗兰兹·巴德 1 马提亚斯·巴兹 1 利奥·巴赫迈尔 1 戴维斯，马丁·戴维 1 亨德里克·德克尔 1 纳鸿·德肖维茨 1 沃尔克·迪克特 1 埃默，摩西 1 安斯加·芬克 1 Fermüller，克里斯蒂安·G。 1 伯克哈德·弗雷塔格 1 阿什图什·古普塔 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 米基·赫尔曼 1 托马斯·希伦布兰德 1 Horrocks，伊恩 1 Thibaud Hottelier 1 乌尔里希·赫斯塔特 1 迪帕克·卡普尔 1 苏拉布·O·卡西达什维利。 1 迈克尔·基弗 1 鲍里斯·科涅夫 1 伯恩哈德·克拉格尔 1 拉里萨·勒沃夫娜·马克西莫娃 1 曼努埃尔·马扎拉 1 大卫·艾伦·麦卡利斯特 1 Annabelle K.McIver。 1 肯尼思·麦克米兰。 1 阿尔特·米德尔多普 1 Minamide、Yasuhiko 1 乔治·莫瑟 1 胡安·安东尼奥·纳瓦罗 1 米歇尔·帕里戈特 1 亚历山大·彼得伦科。 1 阿米尔·普努利 1 罗马克里希南，I.V。 1 西蒙·罗比拉德 1 玉藤樱 1 弗拉基米尔·于萨佐诺夫。 1 塞卡尔·R·钱德拉·古鲁 1 Sticksel，克里斯托夫 1 萨特克利夫，杰夫 1 尼古拉·蒂尔曼 1 蒂什科夫斯基，德米特里 1 约瑟夫·乌尔班 1 莫西·亚亚科夫·瓦尔迪 1 赫尔穆特·维思 1 米哈伊尔·弗拉基米洛维奇（Mikhail Vladimirovich Volkov） 1 莱因哈德·威廉 全部的 前5名系列 29 计算机科学课堂讲稿 4 理论计算机科学 4 自动推理杂志 三 ACM计算逻辑事务 2 符号计算杂志 2 信息与计算 1 符号逻辑杂志 1 Studia Logica公司 1 逻辑程序设计杂志 1 欧洲理论计算机科学协会（EATCS）公报 1 AI通信 1 数学与人工智能年鉴 1 I.Vekua应用数学研究所扩大研讨会报告 1 应用逻辑杂志 全部的 前5名领域 115 计算机科学（68至XX） 63 数学逻辑和基础（03-XX） 30 一般性和全局性主题；集合（00-XX） 三 线性代数和多线性代数；矩阵理论（15-XX） 2 运筹学、数学规划（90-XX） 1 历史与传记（01-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 94出版物有被引用682中的次432文件 引用人▼ 年份▼ VAMPIRE的设计与实现。 Zbl 1021.68082号 亚历山大·里亚扎诺夫;安德烈·沃伦科夫 79 2002 自动推理手册。2卷。 兹比尔0964.00020 78 2001 阿凡达：一阶定理证明器的体系结构。 Zbl 1495.68240号 安德烈·沃伦科夫 36 2014 术语索引。 Zbl 0992.68189号 R.塞卡尔。;罗马克里希南，I.V。;安德烈·沃伦科夫 31 2001 正弦是大型理论推理的基础。 Zbl 1341.68189号 霍德、克里什托夫;安德烈·沃伦科夫 26 2011 串操作程序的路径可行性分析。 Zbl 1234.68070号 尼古拉·比约纳;尼古拉·蒂尔曼;安德烈·沃伦科夫 22 2009 插值和符号消除。 Zbl 1250.68193号 劳拉·科瓦奇;安德烈·沃伦科夫 19 2009 同时刚性E-统一的不可判定性。 Zbl 0872.68173号 阿纳托利·德吉亚列夫;安德烈·沃伦科夫 18 1996 终端模态逻辑。 Zbl 0992.03026号 配件，梅尔文;拉尔斯·塔尔曼;安德烈·沃伦科夫 18 2001 玩阿凡达。 Zbl 1465.68295号 贾尔斯·里格尔;苏达，马丁;安德烈·沃伦科夫 17 2015 将线性算法集成到叠加微积分中。 兹比尔1179.03018 康斯坦丁·科洛文;安德烈·沃伦科夫 16 2007 解析定理证明中的有限资源策略。 Zbl 1023.68089号 亚历山大·里亚扎诺夫;安德烈·沃伦科夫 14 2003 吸血鬼中的插值和符号消除。 Zbl 1291.68348号 霍德、克里什托夫;劳拉·科瓦奇;安德烈·沃伦科夫 14 2010 吸血鬼的解剖学。用代码树实现自下而上的过程。 Zbl 0838.68100号 安德烈·沃伦科夫 14 1995 吸血鬼1。1（系统描述）。 Zbl 0988.68607号 亚历山大·里亚扎诺夫;安德烈·沃伦科夫 13 2001 基于序列的计算中的等式推理。 Zbl 1011.03004号 阿纳托利·德吉亚列夫;安德烈·沃伦科夫 13 2001 有效命题逻辑的证明系统。 Zbl 1165.03318号 胡安·安东尼奥·纳瓦罗;安德烈·沃伦科夫 12 2008 TeMP：一个时态单数证明。 Zbl 1126.68568号 乌尔里希·赫斯塔特;鲍里斯·科涅夫;亚历山大·里亚扎诺夫;安德烈·沃伦科夫 11 2004 逆方法。 Zbl 0992.03016号 阿纳托利·德吉亚列夫;安德烈·沃伦科夫 11 2001 具有队列的项代数的判定过程。 Zbl 1171.68557号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 11 2001 可达性的逻辑重建。 Zbl 1254.68153号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 10 2003 Mizar数学库上自动定理证明的评估。 Zbl 1294.68128号 约瑟夫·乌尔班;克里斯托夫·霍德;安德烈·沃伦科夫 10 2010 选择所选项。 Zbl 1475.68436号 霍德、克里什托夫;贾尔斯·里格尔;苏达，马丁;安德烈·沃伦科夫 10 2016 接受量化推理。 Zbl 1380.68280号 劳拉·科瓦奇;西蒙·罗比拉德;安德烈·沃伦科夫 10 2017 冲突解决。 Zbl 1336.68236号 康斯坦丁·科洛文;内斯塔·齐斯卡里泽;安德烈·沃伦科夫 10 2009 关于刚性统一，你一直想知道的是什么。 Zbl 0893.68135号 阿纳托利·德吉亚列夫;安德烈·沃伦科夫 9 1998 使用Knuth-Bendix顺序定向重写规则。 Zbl 1054.68079号 康斯坦丁·科洛文;安德烈·沃伦科夫 9 2003 在校样的灰色区域播放。 兹比尔1321.68196 克里斯托夫·霍德;劳拉·科瓦茨;安德烈·沃伦科夫 9 2012 关于定理证明索引技术的评价。 Zbl 0988.68595号 罗伯特·纽文胡斯;托马斯·希伦布兰德;亚历山大·里亚扎诺夫;安德烈·沃伦科夫 8 2001 叠加推理中的归纳和泛化。 兹比尔1455.68248 马尔顿哈杜;佩特拉·霍佐娃;劳拉·科瓦奇;约翰·肖斯·沃尔（Johannes Schoisswohl）;安德烈·沃伦科夫 8 2020 有效命题逻辑中有界LTL模型检查的编码。 Zbl 1213.68386号 胡安·安东尼奥·纳瓦罗·佩雷斯;安德烈·沃伦科夫 7 2007 基于逆方法的非标准逻辑定理证明。 Zbl 0925.03075号 安德烈·沃伦科夫 7 1992 高效自动演绎中的算法、数据结构和其他问题。 Zbl 0988.68585号 安德烈·沃伦科夫 7 2001 具有一个变量和相关结果的同时刚性E-统一的可判定性和复杂性。 兹比尔0944.68103 德吉亚雷夫，A。;Y.古雷维奇。;纳伦德兰，P。;韦恩斯，M。;沃伦科夫，A。 7 2000 广泛的危机和身份证明。 Zbl 1448.68459号 阿什图什·古普塔;劳拉·科瓦奇;伯恩哈德·克拉格尔;安德烈·沃伦科夫 7 2014 一元同时刚性统一及相关问题。 Zbl 1401.03037号 尤里·古雷维奇;安德烈·沃伦科夫 7 1997 基于约束满足的直觉逻辑证明。 Zbl 1415.03010号 安德烈·沃伦科夫 7 1996 基于饱和的证明搜索中的归纳。 Zbl 07178993号 贾尔斯·里格尔;安德烈·沃伦科夫 7 2019 通过带排序约束的转换消除等式。 Zbl 0926.03006号 利奥·巴赫迈尔;哈拉尔德·甘辛格;安德烈·沃伦科夫 6 1998 赫布兰德定理和方程式推理：问题和解决方案。 Zbl 0866.68102号 阿纳托利·德吉亚列夫;尤里·古雷维奇;安德烈·沃伦科夫 6 1996 将正则表达式匹配转换为转换器。 Zbl 1238.68052号 玉藤樱;Minamide、Yasuhiko;安德烈·沃伦科夫 6 2012 在基于饱和的推理中统一抽象和理论实例化。 Zbl 1423.68424号 贾尔斯·里格尔;苏达，马丁;安德烈·沃伦科夫 6 2018 481种拆分子句和处理命题变量的方法。 兹比尔1382.68216 霍德、克里什托夫;安德烈·沃伦科夫 6 2013 模态和直觉计算中一些问题的复杂性。 Zbl 1116.03328号 拉里萨·马克西莫娃;安德烈·沃伦科夫 5 2003 具有等式的直觉逻辑中的证明搜索，或返回到同时刚性\（E\）-统一。 Zbl 1415.03011号 安德烈·沃伦科夫 5 1996 带有界量词的逻辑编程。 Zbl 0925.03147号 安德烈·沃伦科夫 4 1992 赫伯兰定理、自动推理和语义表。 兹比尔0945.03553 安德烈·沃伦科夫 4 1998 用于编程、人工智能和推理的逻辑。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修订了选定的论文。 Zbl 1203.68004号 4 2010 在多分类一阶逻辑中寻找有限模型。 Zbl 1475.68447号 贾尔斯·里格尔;苏达，马丁;安德烈·沃伦科夫 4 2016 与一个变量同时刚性统一的可判定性。 Zbl 0903.03007号 阿纳托利·德吉亚列夫;尤里·古雷维奇;巴利亚特·纳伦德兰;玛格斯·维纳斯;安德烈·沃伦科夫 三 1998 具有等式的直觉逻辑中的证明搜索，或返回到同时的刚性统一。 Zbl 0921.03012号 安德烈·沃伦科夫 三 1998 分层解决方案。 兹伯利1024.03013 阿纳托利·德吉亚列夫;罗伯特·纽文胡斯;安德烈·沃伦科夫 三 2003 同时刚性E-统一和其他与Herbrand定理相关的决策问题。 Zbl 0937.03020号 安德烈·沃伦科夫 三 1999 矩阵的不变量和类型推断。 Zbl 1273.68083号 托马斯·亨辛格（Thomas A.Henzinger）。;Thibaud Hottelier;劳拉·科瓦奇;安德烈·沃伦科夫 三 2010 用于编程、人工智能和推理的逻辑。第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。 Zbl 1238.68012号 三 2012 用边界传播法求解线性不等式组。 Zbl 1341.68193号 康斯坦丁·科洛文;安德烈·沃伦科夫 三 2011 自动扣除-CADE-18。第18届国际会议，丹麦哥本哈根，2002年7月27日至30日。诉讼程序。 Zbl 0993.00050号 三 2002 Knuth-Bendix约束求解是NP-完成的。 Zbl 0986.68045号 康斯坦丁·科洛文;安德烈·沃伦科夫 三 2001 计算机科学——理论与应用。第二届俄罗斯计算机科学国际研讨会，CSR 2007，俄罗斯叶卡捷琳堡，2007年9月3-7日。诉讼程序。 Zbl 1135.68001号 三 2007 排队论的上限。 Zbl 1039.03005号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 三 2003 一阶定理证明和TPTP中的一类布尔排序。 兹伯利1417.68187 叶夫根尼·科特尔尼科夫;劳拉·科瓦奇;安德烈·沃伦科夫 三 2015 用于编程、人工智能和推理的逻辑。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。 Zbl 1277.68016号 三 2013 如何优化模态逻辑中的证明：证明顺序计算冗余准则的新方法。 Zbl 1171.03308号 安德烈·沃伦科夫 三 2001 使用定理证明器对表达性本体语言的推理支持。 兹比尔1177.68179 Horrocks，伊恩;安德烈·沃伦科夫 三 2006 整数感应饱和。 Zbl 07437089号 佩特拉·霍佐娃;劳拉·科瓦奇;安德烈·沃伦科夫 三 2021 简化理论推理。 Zbl 1474.68060号 贾尔斯·里格尔;约翰·肖斯·沃尔（Johannes Schoisswohl）;安德烈·沃伦科夫 三 2021 使用标准和关系路径索引进行高效实例检索。 Zbl 1081.68018号 亚历山大·里亚扎诺夫;安德烈·沃伦科夫 2 2005 整数线性不等式组解的基础：计算和应用。 兹比尔1156.68623 丘巴罗夫，D。;沃伦科夫，A。 2 2005 行李、集合和树的非确定性多项式时间统一算法。 Zbl 0942.68023号 叶夫根伊·丹钦;安德烈·沃伦科夫 2 1999 逻辑编程和自动推理。国际会议，LPAR'92，俄罗斯圣彼得堡，1992年7月15日至20日。诉讼程序。 Zbl 0916.00020号 2 1992 基于EPR的单词级有界模型检查。 Zbl 1358.68190号 莫舍·埃默尔;苏拉布·卡西达什维利;康斯坦丁·科洛文;Sticksel，克里斯托夫;安德烈·沃伦科夫 2 2012 部分自适应代码树。 Zbl 0998.68155号 亚历山大·里亚扎诺夫;安德烈·沃伦科夫 2 2000 关于超限Knuth-Bendix阶。 Zbl 1341.68194号 劳拉·科瓦奇;乔治·莫瑟;安德烈·沃伦科夫 2 2011 与AC兼容的Knuth-Bendix订单。 Zbl 1278.68268号 康斯坦丁·科洛文;安德烈·沃伦科夫 2 2003 重写技术和应用程序。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。 Zbl 1142.68011号 2 2008 分层解决方案。 Zbl 0963.03014号 阿纳托利·德吉亚列夫;安德烈·沃伦科夫 2 2000 程序间属性。 Zbl 1248.68156号 安德烈·沃伦科夫;伊曼·纳拉萨姆迪亚 2 2009 使用有效的命题逻辑进行规划。 Zbl 1383.68086号 胡安·安东尼奥·纳瓦罗·佩雷斯;安德烈·沃伦科夫 2 2013 有效检查术语排序约束。 Zbl 1126.68577号 亚历山大·里亚扎诺夫;安德烈·沃伦科夫 1 2004 寻找基本块和变量的对应关系。 Zbl 1141.68361号 伊曼·纳拉萨姆迪亚;安德烈·沃伦科夫 1 2005 用于编程和自动推理的逻辑。第六届国际会议，1999年9月6日至10日，格鲁吉亚第比利斯LPAR’99。诉讼程序。 Zbl 0921.00037号 1 1999 关于基于（E）-unifier完备集的等式逻辑程序语义的注记。 Zbl 0874.68058号 阿纳托利·德吉亚列夫;安德烈·沃伦科夫 1 1996 用于编程、人工智能和推理的逻辑。2005年3月14日至18日，乌拉圭蒙得维的亚，第11届国际会议，LPAR 2004。诉讼程序。 Zbl 1070.68001号 1 2005 赫布兰德定理与等式推理：问题与解决方案。 Zbl 1049.68120号 阿纳托利·德吉亚列夫;尤里·古雷维奇;安德烈·沃伦科夫 1 2001 使用解的规范表示来加速无限状态模型检查。 Zbl 1010.68519号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 1 2002 系统信息学的观点。2006年6月27日至30日，俄罗斯新西伯利亚，第六届安德烈·埃尔肖夫国际纪念大会，PSI 2006。修订论文。 Zbl 1179.68007号 1 2007 用于编程、人工智能和推理的逻辑。第17届国际会议，LPAR-17，印度尼西亚日惹，2010年10月10日至15日。诉讼程序。 Zbl 1197.68008号 1 2010 使用Knuth-Bendix顺序验证重写规则的可定向性。 Zbl 0981.68072号 康斯坦丁·科洛文;安德烈·沃伦科夫 1 2001 用于编程、人工智能和推理的逻辑。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。 Zbl 1136.68004号 1 2007 用于编程、人工智能和推理的逻辑。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。 Zbl 1046.03001号 1 2001 自动推理的归纳基准。 Zbl 1485.68281号 马尔顿哈伊杜;佩特拉·霍佐娃;劳拉·科瓦奇;约翰·肖斯·沃尔（Johannes Schoisswohl）;安德烈·沃伦科夫 1 2021 合作证明尝试。 Zbl 1465.68296号 贾尔斯·里格尔;蒂什科夫斯基，德米特里;安德烈·沃伦科夫 1 2015 命令式程序的下一状态关系的FOOLish编码。 Zbl 1511.68160号 叶夫根尼·科特尔尼科夫;劳拉·科瓦奇;安德烈·沃伦科夫 1 2018 一阶插值和插值证明系统。 Zbl 1402.03041号 劳拉·科瓦奇;安德烈·沃伦科夫 1 2017 整数感应饱和。 Zbl 07437089号 佩特拉·霍佐娃;劳拉·科瓦奇;安德烈·沃伦科夫 三 2021 简化理论推理。 Zbl 1474.68060号 贾尔斯·里格尔;约翰·肖斯·沃尔（Johannes Schoisswohl）;安德烈·沃伦科夫 三 2021 自动推理的归纳基准。 Zbl 1485.68281号 马尔顿哈伊杜;佩特拉·霍佐娃;劳拉·科瓦奇;约翰·肖斯·沃尔（Johannes Schoisswohl）;安德烈·沃伦科夫 1 2021 叠加推理中的归纳和泛化。 兹比尔1455.68248 马尔顿哈杜;佩特拉·霍佐娃;劳拉·科瓦奇;约翰·肖斯·沃尔（Johannes Schoisswohl）;安德烈·沃伦科夫 8 2020 基于饱和的证明搜索中的归纳。 Zbl 07178993号 贾尔斯·里格尔;安德烈·沃伦科夫 7 2019 在基于饱和的推理中统一抽象和理论实例化。 Zbl 1423.68424号 贾尔斯·里格尔;苏达，马丁;安德烈·沃伦科夫 6 2018 命令式程序的下一状态关系的FOOLish编码。 Zbl 1511.68160号 叶夫根尼·科特尔尼科夫;劳拉·科瓦奇;安德烈·沃伦科夫 1 2018 接受量化推理。 兹比尔1380.68280 劳拉·科瓦奇;西蒙·罗比拉德;安德烈·沃伦科夫 10 2017 一阶插值和插值证明系统。 Zbl 1402.03041号 劳拉·科瓦奇;安德烈·沃伦科夫 1 2017 选择所选项。 Zbl 1475.68436号 霍德、克里什托夫;贾尔斯·里格尔;苏达，马丁;安德烈·沃伦科夫 10 2016 在多分类一阶逻辑中寻找有限模型。 Zbl 1475.68447号 贾尔斯·里格尔;苏达，马丁;安德烈·沃伦科夫 4 2016 玩阿凡达。 Zbl 1465.68295号 贾尔斯·里格尔;苏达，马丁;安德烈·沃伦科夫 17 2015 一阶定理证明和TPTP中的一类布尔排序。 兹伯利1417.68187 叶夫根尼·科特尔尼科夫;劳拉·科瓦奇;安德烈·沃伦科夫 三 2015 合作证明尝试。 Zbl 1465.68296号 贾尔斯·里格尔;蒂什科夫斯基，德米特里;安德烈·沃伦科夫 1 2015 AVTAR：一阶定理证明器的体系结构。 Zbl 1495.68240号 安德烈·沃伦科夫 36 2014 广泛的危机和身份证明。 Zbl 1448.68459号 阿什图什·古普塔;劳拉·科瓦奇;伯恩哈德·克拉格尔;安德烈·沃伦科夫 7 2014 481种拆分子句和处理命题变量的方法。 Zbl 1382.68216号 霍德、克里什托夫;安德烈·沃伦科夫 6 2013 用于编程、人工智能和推理的逻辑。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。 Zbl 1277.68016号 三 2013 使用有效的命题逻辑进行规划。 Zbl 1383.68086号 胡安·安东尼奥·纳瓦罗·佩雷斯;安德烈·沃伦科夫 2 2013 在校样的灰色区域播放。 Zbl 1321.68196号 克里斯托夫·霍德;劳拉·科瓦茨;安德烈·沃伦科夫 9 2012 将正则表达式匹配转换为转换器。 Zbl 1238.68052号 玉藤樱;Minamide、Yasuhiko;安德烈·沃伦科夫 6 2012 用于编程、人工智能和推理的逻辑。第18届国际会议，LPAR-18，委内瑞拉梅里达，2012年3月11-15日。诉讼程序。 Zbl 1238.68012号 三 2012 基于EPR的单词级有界模型检查。 Zbl 1358.68190号 莫舍·埃默尔;苏拉布·卡西达什维利;康斯坦丁·科洛文;Sticksel，克里斯托夫;安德烈·沃伦科夫 2 2012 正弦是大型理论推理的基础。 Zbl 1341.68189号 霍德、克里什托夫;安德烈·沃伦科夫 26 2011 通过有界传播求解线性不等式组。 Zbl 1341.68193号 康斯坦丁·科洛文;安德烈·沃伦科夫 三 2011 关于超限Knuth-Bendix阶。 Zbl 1341.68194号 劳拉·科瓦奇;乔治·莫瑟;安德烈·沃伦科夫 2 2011 吸血鬼中的插值和符号消除。 Zbl 1291.68348号 霍德、克里什托夫;劳拉·科瓦奇;安德烈·沃伦科夫 14 2010 Mizar数学库上自动定理证明的评估。 Zbl 1294.68128号 约瑟夫·乌尔班;克里斯托夫·霍德;安德烈·沃伦科夫 10 2010 用于编程、人工智能和推理的逻辑。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修订了选定的论文。 Zbl 1203.68004号 4 2010 矩阵的不变量和类型推断。 Zbl 1273.68083号 托马斯·亨辛格（Thomas A.Henzinger）。;蒂波特酒店;劳拉·科瓦奇;安德烈·沃伦科夫 三 2010 用于编程、人工智能和推理的逻辑。第17届国际会议，LPAR-17，印尼日惹，2010年10月10-15日。诉讼程序。 Zbl 1197.68008号 1 2010 串操作程序的路径可行性分析。 Zbl 1234.68070号 尼古拉·比约纳;尼古拉·蒂尔曼;安德烈·沃伦科夫 22 2009 插值和符号消除。 Zbl 1250.68193号 劳拉·科瓦奇;安德烈·沃伦科夫 19 2009 冲突解决。 Zbl 1336.68236号 康斯坦丁·科洛文;内斯塔·齐斯卡里泽;安德烈·沃伦科夫 10 2009 程序间属性。 Zbl 1248.68156号 安德烈·沃伦科夫;伊曼·纳拉萨姆迪亚 2 2009 有效命题逻辑的证明系统。 Zbl 1165.03318号 胡安·安东尼奥·纳瓦罗;安德烈·沃伦科夫 12 2008 重写技术和应用程序。2008年7月15日至17日在奥地利哈根堡举行的RTA 2008第19届国际会议。诉讼程序。 Zbl 1142.68011号 2 2008 将线性算法集成到叠加微积分中。 Zbl 1179.03018号 康斯坦丁·科洛文;安德烈·沃伦科夫 16 2007 有效命题逻辑中有界LTL模型检查的编码。 Zbl 1213.68386号 胡安·安东尼奥·纳瓦罗·佩雷斯;安德烈·沃伦科夫 7 2007 计算机科学——理论与应用。第二届俄罗斯计算机科学国际研讨会，CSR 2007，俄罗斯叶卡捷琳堡，2007年9月3-7日。诉讼程序。 Zbl 1135.68001号 三 2007 系统信息学的观点。2006年6月27日至30日，俄罗斯新西伯利亚，第六届安德烈·埃尔肖夫国际纪念大会，PSI 2006。修订论文。 Zbl 1179.68007号 1 2007 用于编程、人工智能和推理的逻辑。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。 Zbl 1136.68004号 1 2007 使用定理证明器对表达性本体语言的推理支持。 Zbl 1177.68179号 Horrocks，伊恩;安德烈·沃伦科夫 三 2006 使用标准和关系路径索引进行高效实例检索。 Zbl 1081.68018号 亚历山大·里亚扎诺夫;安德烈·沃伦科夫 2 2005 整数线性不等式组解的基础：计算和应用。 Zbl 1156.68623号 Chubarov，D。;沃伦科夫，A。 2 2005 寻找基本块和变量的对应关系。 Zbl 1141.68361号 伊曼·纳拉萨姆迪亚;安德烈·沃伦科夫 1 2005 用于编程、人工智能和推理的逻辑。2005年3月14日至18日，乌拉圭蒙得维的亚，第11届国际会议，LPAR 2004。诉讼程序。 Zbl 1070.68001号 1 2005 TeMP：一个时态单数证明。 Zbl 1126.68568号 乌尔里希·赫斯塔特;鲍里斯·科涅夫;亚历山大·里亚扎诺夫;安德烈·沃伦科夫 11 2004 术语排序约束的有效检查。 Zbl 1126.68577号 亚历山大·里亚扎诺夫;安德烈·沃伦科夫 1 2004 解析定理证明中的有限资源策略。 Zbl 1023.68089号 亚历山大·里亚扎诺夫;安德烈·沃伦科夫 14 2003 可达性的逻辑重建。 Zbl 1254.68153号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 10 2003 使用Knuth-Bendix顺序定向重写规则。 Zbl 1054.68079号 康斯坦丁·科洛文;安德烈·沃伦科夫 9 2003 模态和直觉计算中一些问题的复杂性。 Zbl 1116.03328号 拉里萨·马克西莫娃;安德烈·沃伦科夫 5 2003 分层解决方案。 Zbl 1024.03013号 阿纳托利·德吉亚列夫;罗伯特·纽文胡斯;安德烈·沃伦科夫 三 2003 排队论的上限。 Zbl 1039.03005号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 三 2003 与AC兼容的Knuth-Bendix订单。 Zbl 1278.68268号 康斯坦丁·科洛文;安德烈·沃伦科夫 2 2003 VAMPIRE的设计与实现。 Zbl 1021.68082号 亚历山大·里亚扎诺夫;安德烈·沃伦科夫 79 2002 自动扣除-CADE-18。第18届国际会议，丹麦哥本哈根，2002年7月27日至30日。诉讼程序。 Zbl 0993.00050号 三 2002 使用解的规范表示来加速无限状态模型检查。 Zbl 1010.68519号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 1 2002 自动推理手册。2卷。 Zbl 0964.00020号 78 2001 术语索引。 Zbl 0992.68189号 Sekar，R。;罗马克里希南，I.V。;安德烈·沃伦科夫 31 2001 终端模态逻辑。 Zbl 0992.03026号 配件，梅尔文;拉尔斯·塔尔曼;安德烈·沃伦科夫 18 2001 吸血鬼1。1（系统描述）。 Zbl 0988.68607号 亚历山大·里亚扎诺夫;安德烈·沃伦科夫 13 2001 基于序列的演算中的等式推理。 Zbl 1011.03004号 阿纳托利·德吉亚列夫;安德烈·沃伦科夫 13 2001 逆方法。 Zbl 0992.03016号 阿纳托利·德吉亚列夫;安德烈·沃伦科夫 11 2001 具有队列的项代数的判定过程。 Zbl 1171.68557号 塔蒂亚娜·瑞比纳;安德烈·沃伦科夫 11 2001 关于定理证明索引技术的评价。 兹比尔0988.68595 罗伯特·纽文胡斯;托马斯·希伦布兰德;亚历山大·里亚扎诺夫;安德烈·沃伦科夫 8 2001 高效自动演绎中的算法、数据结构和其他问题。 Zbl 0988.68585号 安德烈·沃伦科夫 7 2001 Knuth-Bendix约束求解是NP-完成的。 Zbl 0986.68045号 康斯坦丁·科洛文;安德烈·沃伦科夫 三 2001 如何优化模态逻辑中的证明：证明顺序计算冗余准则的新方法。 Zbl 1171.03308号 安德烈·沃伦科夫 三 2001 赫布兰德定理和方程式推理：问题和解决方案。 Zbl 1049.68120号 阿纳托利·德吉亚列夫;尤里·古雷维奇;安德烈·沃伦科夫 1 2001 使用Knuth-Bendix顺序验证重写规则的可定向性。 Zbl 0981.68072号 康斯坦丁·科洛文;安德烈·沃伦科夫 1 2001 用于编程、人工智能和推理的逻辑。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。 Zbl 1046.03001号 1 2001 具有一个变量和相关结果的同时刚性E-统一的可判定性和复杂性。 兹比尔0944.68103 德吉亚雷夫，A。;Y.古雷维奇。;纳伦德兰，P。;韦恩斯，M。;沃伦科夫，A。 7 2000 部分自适应代码树。 Zbl 0998.68155号 亚历山大·里亚扎诺夫;安德烈·沃伦科夫 2 2000 分层解决方案。 Zbl 0963.03014号 阿纳托利·德吉亚列夫;安德烈·沃伦科夫 2 2000 同时刚性E-统一和其他与Herbrand定理相关的决策问题。 Zbl 0937.03020号 安德烈·沃伦科夫 三 1999 行李、集合和树的非确定性多项式时间统一算法。 Zbl 0942.68023号 叶夫根伊·丹钦;安德烈·沃伦科夫 2 1999 编程逻辑和自动推理。第六届国际会议，1999年9月6日至10日，格鲁吉亚第比利斯LPAR’99。诉讼程序。 兹比尔0921.00037 1 1999 关于刚性统一，你一直想知道的是什么。 Zbl 0893.68135号 阿纳托利·德吉亚列夫;安德烈·沃伦科夫 9 1998 通过带排序约束的转换消除等式。 Zbl 0926.03006号 利奥·巴赫迈尔;哈拉尔德·甘辛格;安德烈·沃伦科夫 6 1998 赫伯兰定理、自动推理和语义表。 Zbl 0945.03553号 安德烈·沃伦科夫 4 1998 与一个变量同时刚性统一的可判定性。 兹比尔0903.03007 阿纳托利·德吉亚列夫;尤里·古雷维奇;巴利亚特·纳伦德兰;玛格斯·维纳斯;安德烈·沃伦科夫 三 1998 具有等式的直觉逻辑中的证明搜索，或返回到同时的刚性统一。 Zbl 0921.03012号 安德烈·沃伦科夫 三 1998 一元同时刚性统一及相关问题。 Zbl 1401.03037号 尤里·古雷维奇;安德烈·沃伦科夫 7 1997 同时刚性E-统一的不可判定性。 Zbl 0872.68173号 阿纳托利·德吉亚列夫;安德烈·沃伦科夫 18 1996 基于约束满足的直觉逻辑证明。 Zbl 1415.03010号 安德烈·沃伦科夫 7 1996 赫布兰德定理和方程式推理：问题和解决方案。 兹伯利0866.68102 阿纳托利·德吉亚列夫;尤里·古雷维奇;安德烈·沃伦科夫 6 1996 具有等式的直觉逻辑中的证明搜索，或返回到同时刚性\（E\）-统一。 Zbl 1415.03011号 安德烈·沃伦科夫 5 1996 关于基于（E）-unifier完备集的等式逻辑程序语义的注记。 Zbl 0874.68058号 阿纳托利·德吉亚列夫;安德烈·沃伦科夫 1 1996 吸血鬼的解剖学。用代码树实现自下而上的过程。 Zbl 0838.68100号 安德烈·沃伦科夫 14 1995 基于逆方法的非标准逻辑定理证明。 Zbl 0925.03075号 安德烈·沃伦科夫 7 1992 带有界量词的逻辑编程。 Zbl 0925.03147号 安德烈·沃伦科夫 4 1992 逻辑编程和自动推理。1992年7月15日至20日，俄罗斯圣彼得堡LPAR’92国际会议。诉讼程序。 Zbl 0916.00020号 2 1992 所有引用出版物 前5名被引用出版物 全部的 前5名592位作者引用 30 安德烈·沃伦科夫 20 贾斯敏·克里斯蒂安·布兰切特 19 约瑟夫·乌尔班 17 克里斯托夫·韦登巴赫 15 萨特克利夫，杰夫 14 塞萨尔·蒂内利 13 克拉克·W·巴雷特。 13 贾尔斯·里格尔 12 塞萨里·卡利西克 11 玛丽亚·保拉（Maria Paola Bonacina） 11 安德鲁·雷诺兹 10 索菲·托雷特 9 科瓦奇，劳拉·伊尔迪科 9 劳伦斯·查尔斯·保尔森 9 乌韦·沃尔德曼 8 克里斯托夫·埃瓦尔德·本兹穆勒 8 西尔维奥·吉拉尔迪 8 苏达，马丁 7 佩塔·武克米罗维奇 7 尤尼·佐哈尔 6 亚历山大·本特坎普 6 Böhme，萨沙 6 莱昂纳多·德·莫拉 6 克莱尔·狄克逊 6 康斯坦丁·科洛文 6 阿尔特·米德尔多普 6 雷娜特·施密特（Renate A.Schmidt）。 5 尼古拉·S·比约纳。 5 安纳托利·伊万诺维奇·德吉亚列夫 5 哈利勒·杰卢尔 5 迈克尔·费希尔 5 帕斯卡·方丹 5 西尔维奥·兰伊斯 5 菲利普·吕默 5 维奥里卡Sofrone-Stokkerman 5 玛格斯·维纳斯 5 莎拉·温克勒 4 彼得·贝克曼 4 彼得·鲍姆加特纳 4 艾哈迈德·巴亚特 4 阿明·比尔 4 乍得·布朗·爱德华 4 西蒙·克鲁内斯 4 尤里·古雷维奇 4 迪帕克·卡普尔 4 刘军 4 托比亚斯·尼普科 4 安德烈斯·诺兹利 4 尼古拉斯·佩尔蒂埃 4 斯蒂芬·舒尔茨 4 盛、英 4 Gennady Shtakser公司 4 维斯科基尔 4 徐，杨 三 马丁·伯格伦德 三 墨菲·贝尔齐什 三 陈树伟 三 戴，乔尔·D·。 三 加布里埃尔·埃布纳 三 迈克尔·Färber 三 弗勒里，马蒂亚斯 三 维杰·加内什 三 亚历山德罗·吉亚诺拉 三 何兴兴 三 斯特凡·赫兹尔 三 托马斯·希伦布兰德 三 Nao Hirokawa 三 霍德、克里什托夫 三 佩特拉·霍佐娃 三 乌尔里希·赫斯塔特 三 贾尼契奇，普雷德拉格 三 穆阿·约翰逊 三 鲍里斯·科涅夫 三 丹尼尔·库尔温 三 米贾·库尔琴斯基 三 拉里萨·勒沃夫娜·马克西莫娃 三 孟，贾 三 费德里科·莫拉 三 恩里卡·尼科里尼 三 德克·诺沃特卡 三 Nummelin，维萨卡 三 阿南塔·帕德马纳巴 三 大卫·艾伦（David Alan），Plaisted 三 拉马努贾姆，R。 三 迈克尔·劳森 三 克里斯托夫·林盖森 三 安德斯·施利奇特克鲁尔 三 沃尔克·索尔格 三 泰斯，弗兰克 三 布林克·范德梅尔 三 哈拉尔德·赞克 2 杰西·阿拉玛 2 哈尼尔·巴博萨 2 本赛义德，希查姆 2 伦纳特·贝林格 2 劳拉·博泽利 2 Franz Brauße 2 塞尔默布林斯乔尔 2 马丁·布罗姆伯格 2 罗伯托·布鲁托梅索 …还有492名作者 全部的 前5名48篇连载文章中引用 73 自动推理杂志 16 理论计算机科学 13 信息与计算 11 符号计算杂志 11 系统设计中的形式化方法 11 应用逻辑杂志 8 数学与人工智能年鉴 7 人工智能 7 Studia Logica公司 7 逻辑程序设计理论与实践 7 计算机科学中的逻辑方法 6 AI通信 5 计算的形式方面 5 ACM计算逻辑事务 4 信息科学 4 泛逻辑 4 程序设计中的逻辑和代数方法杂志 三 计算机科学中的数学 2 信息处理信件 2 应用数学与计算 2 符号逻辑杂志 2 纯逻辑与应用逻辑年鉴 2 新一代计算 2 应用非经典逻辑杂志 2 软计算 1 信息学报 1 立陶宛数学杂志 1 代数与逻辑 1 Automatica公司 1 哲学逻辑杂志 1 编程和计算机软件 1 西伯利亚数学杂志 1 遍历理论和动力系统 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 工程、通信和计算中的应用代数 1 逻辑、语言与信息杂志 1 约束条件 1 高阶和符号计算 1 LMS计算与数学杂志 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 Steklov数学研究所学报 1 符号逻辑述评 1 伊尔库茨科戈大学。马特马提卡丝里亚 1 Logicheskie Issledovaniya逻辑 1 膜计算杂志 全部的 前5名在14个字段中引用 382 计算机科学（68至XX） 201 数学逻辑和基础（03-XX） 6 运筹学、数学规划（90-XX） 5 信息与通信理论、电路（94-XX） 4 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 2 历史与传记（01-XX） 2 范畴理论；同调代数（18-XX） 2 数值分析（65-XX） 2 系统论；控制（93至XX） 1 阶、格、有序代数结构（06-XX） 1 数论（11-XX） 1 群论与推广（20-XX） 1 动力系统和遍历理论（37至XX） 1 几何形状（51至XX） 按年份列出的引文