列夫·贝克列米舍夫
人员信息
优化列表
2020年–今天
2022 【j30】 列夫·贝克列米舍夫 , 费多·帕霍莫夫 :
反射代数和迭代真值理论的守恒结果。 Ann.纯粹应用。 日志。 173 ( 5 ) : 103093 ( 2022 )
2010 – 2019
2019 [公元29年] 叶夫根尼·科尔马科夫 , 列夫·贝克列米舍夫 :
可证明n-可证明性的公理化。 J.塞姆。 日志。 84 ( 2 ) : 849-869 ( 2019 ) 2018 [公元28年] 杰拉尔德·伯杰 , 列夫·贝克列米舍夫 , 汉斯·托姆皮茨 :
Japaridze的多模可证明逻辑的多种变体。 日志。 J.IGPL公司 26 ( 5 ) : 505-538 ( 2018 ) 【c6】 列夫·贝克列米舍夫 :
$${mathrm{RC}^\nabla}$$RC的无变量片段的通用代数。 LFCS公司 2018 : 91-106 2017 [公元27年] 列夫·贝克列米舍夫 :
特邀编辑:俄罗斯计算机科学研讨会。 理论计算。 系统。 61 ( 2 ) : 462-463 ( 2017 ) 【c5】 列夫·贝克列米舍夫 :
关于具有部分保守算子的反射微积分。 沃尔利克 2017 : 48-67 2016 [公元26年] 乌里·亚伯拉罕 , 列夫·贝克列米舍夫 , 保拉·达奎诺 , 马库斯·特雷斯勒 :
前言。 Ann.纯粹应用。 日志。 167 ( 10 ) : 865-867 ( 2016 ) [公元25年] 列夫·贝克列米舍夫 , 托马索·弗拉米尼奥 :
弗兰科·蒙塔尼亚关于可论证逻辑和多值逻辑的著作。 Stud Logica公司 104 ( 1 ) : 1-46 ( 2016 ) [电子5] 列夫·贝克列米舍夫 , 斯特凡·德姆里 , 安德拉斯·马特 :
模态逻辑进展11,2016年8月30日至9月2日在匈牙利布达佩斯举行的第十一届“模态逻辑进展”会议记录。 学院出版物 2016 ,国际标准图书编号 978-1-84890-201-5 [目录] 2015 [电子4] 列夫·贝克列米舍夫 , 安德烈亚斯·布拉斯 , 纳丘姆·德肖维茨 , 伯恩德·芬克贝纳 , 沃尔夫拉姆·舒尔特 :
逻辑与计算领域II——尤里·古雷维奇75岁生日献词。 计算机科学课堂讲稿 9300, 施普林格 2015 ,国际标准图书编号 978-3-319-23533-2 [目录] [电子3] 列夫·贝克列米舍夫 , 丹尼尔·穆萨托夫 :
计算机科学-理论与应用-俄罗斯第十届国际计算机科学研讨会,CSR 2015,俄罗斯Listvyanka,2015年7月13日至17日,会议记录。 计算机科学课堂讲稿 9139, 施普林格 2015 ,国际标准图书编号 978-3-319-20296-9 [目录] [i1] 列夫·贝克列米舍夫 :
关于严格正逻辑和单词重写系统的注释。 CoRR公司 abs/1509.00666 ( 2015 ) 2014 [公元24年] 列夫·贝克列米舍夫 :
一致反射原理的正可证明逻辑。 Ann.纯粹应用。 日志。 165 ( 1 ) : 82-105 ( 2014 ) [公元23年] 列夫·贝克列米舍夫 , 鲁伊·J·G·B·德·奎罗斯 , 安德烈·塞德洛夫 :
编辑前言。 J.计算。 系统。 科学。 80 ( 6 ) : 1037 ( 2014 ) [公元22年] 列夫·贝克列米舍夫 , 尤里·古雷维奇 :
带析取的命题原逻辑。 J.日志。 计算。 24 ( 1 ) : 257-282 ( 2014 ) [公元21年] 列夫·贝克列米舍夫 , 大卫·费尔南德斯·杜克 , 乔斯特·J·乔斯顿 :
关于线性有序模态的Provability Logics。 Stud Logica公司 102 ( 三 ) : 541-566 ( 2014 ) 2013 [公元20年] 列夫·贝克列米舍夫 , 大卫·加伯里亚 :
可证明逻辑GLP的拓扑完备性。 Ann.纯粹应用。 日志。 164 ( 12 ) : 1201-1223 ( 2013 ) 2012 [公元19年] 列夫·贝克列米舍夫 , 古拉姆·贝扎尼什维利 , 丹尼尔·蒙迪奇 , Yde Venema公司 :
前言。 Stud Logica公司 100 ( 1-2 ) : 1-7 ( 2012 ) 【c4】 列夫·贝克列米舍夫 :
校准可证明逻辑:从模态逻辑到反射微积分。 模态逻辑的进展 2012 : 89-94 2011 [公元18年] 谢尔盖·I·阿迪安 , 列夫·贝克列米舍夫 , 阿尔伯特·维瑟 :
证明和计算。 J.日志。 计算。 21 ( 4 ) : 541-542 ( 2011 ) [电子2] 列夫·贝克列米舍夫 , 鲁伊·J·G·B·德·奎罗斯 :
2011年5月18日至20日,美国宾夕法尼亚州费城,第18届逻辑、语言、信息和计算国际研讨会,WoLLIC 2011。 诉讼程序。 计算机科学课堂讲稿 6642, 施普林格 2011 ,国际标准图书编号 978-3-642-20919-2 [目录] 2010 [公元17年] 列夫·贝克列米舍夫 :
可证明逻辑GLP的Kripke语义。 Ann.纯粹应用。 日志。 161 ( 6 ) : 756-774 ( 2010 ) [电子1] 列夫·贝克列米舍夫 , 瓦伦丁·戈兰科 , 瓦伦丁·B·谢特曼 :
模态逻辑进展8,2010年8月24日至27日在俄罗斯莫斯科举行的第八届“模态逻辑进展”会议的论文。 学院出版物 2010 ,国际标准图书编号 978-1-84890-013-4 [目录]
2000 – 2009
2009 【c3】 列夫·贝克列米舍夫 :
双模可证明逻辑GLB的序完备性。 TbiLLC公司 2009 : 1-15 2005 [公元16年] 列夫·贝克列米舍夫 , 阿尔伯特·维瑟 :
初等算术和Sigma中的极限存在原理 n个 0 -理论的后果。 Ann.纯粹应用。 日志。 136 ( 1-2 ) : 56-74 ( 2005 ) [j15] 谢尔盖·I·阿迪安 , 马提亚斯·巴兹 , 列夫·贝克列米舍夫 :
编辑。 J.日志。 计算。 15 ( 4 ) : 409 ( 2005 ) [公元14年] 列夫·贝克列米舍夫 , 乔斯特·J·乔斯顿 , 马可·弗沃特 :
雅帕里泽可证明逻辑的封闭片段的最终处理。 J.日志。 计算。 15 ( 4 ) : 447-463 ( 2005 ) 2004 [j13] 列夫·贝克列米舍夫 :
可证明代数和证明理论序数,I。 Ann.纯粹应用。 日志。 128 ( 1-3 ) : 103-123 ( 2004 ) 2003 [公元12年] 列夫·贝克列米舍夫 :
通过迭代反射进行验证理论分析。 架构(architecture)。 数学。 日志。 42 ( 6 ) : 515-552 ( 2003 ) [公元11年] 列夫·贝克列米舍夫 :
关于可判定谓词的归纳模式。 J.塞姆。 日志。 68 ( 1 ) : 17-34 ( 2003 ) 2002 [公元10年] A.L.拉斯维塔耶夫 , 列夫·贝克列米舍夫 :
关于查找局部最大点的查询复杂性。 信息处理。 莱特。 84 ( 6 ) : 327-332 ( 2002 )
1990 – 1999
1999 【b1】 列夫·贝克列米舍夫 , 马蒂·彭特斯 , 尼古拉·韦雷沙金(Nikolai K.Vereshchagin) :
可证明性、复杂性、语法。 美国数学学会翻译系列2 192, 美国数学学会 1999 ,国际标准图书编号 978-0-8218-1078-1 ,第I-VIII页,1-172页 [公元9年] 列夫·贝克列米舍夫 :
无参数归纳法和可验证的总计算函数。 理论。 计算。 科学。 224 ( 1-2 ) : 13-33 ( 1999 ) 【c2】 列夫·贝克列米舍夫 :
开放最小元原理与有界查询计算。 CSL公司 1999 : 389-404 1998 [j8] 列夫·贝克列米舍夫 :
对收藏的实证分析。 架构(architecture)。 数学。 日志。 37 ( 5-6 ) : 275-296 ( 1998 ) 1997 [j7] 列夫·贝克列米舍夫 :
归纳规则、反射原理和可证明的递归函数。 Ann.纯粹应用。 日志。 85 ( 三 ) : 193-242 ( 1997 ) [c1] 列夫·贝克列米舍夫 :
无参数归纳和反射。 库尔特·哥德尔座谈会 1997 : 103-113 1996 [j6] 列夫·贝克列米舍夫 :
算术理论扩展的双峰逻辑。 J.塞姆。 日志。 61 ( 1 ) : 91-124 ( 1996 ) 1995 [j5] 列夫·贝克列米舍夫 :
迭代局部反射与迭代一致性。 Ann.纯粹应用。 日志。 75 ( 1-2 ) : 25-48 ( 1995 ) 1994 【j4】 列夫·贝克列米舍夫 :
关于可证明性的双峰逻辑。 Ann.纯粹应用。 日志。 68 ( 2 ) : 115-159 ( 1994 ) 1993 [j3] 列夫·贝克列米舍夫 :
关于模态公式算术解释的复杂性。 架构(architecture)。 数学。 日志。 32 ( 三 ) : 229-238 ( 1993 ) [注2] 谢尔盖·N·阿特莫夫 , 列夫·贝克列米舍夫 :
论可证明逻辑中的命题量词。 圣母院J.正式日志。 34 ( 三 ) : 401-419 ( 1993 ) 1991 [j1] 列夫·贝克列米舍夫 :
算术理论自然图灵级数的可证明逻辑。 Stud Logica公司 50 ( 1 ) : 107-128 ( 1991 )