罗马库兹涅茨 多分量证明——证明插值特性的理论方法。 （英语） Zbl 1522.03053号 Ann.纯粹应用。逻辑 169，第12期，1369-1418（2018）.MSC公司：03B45号 03C40号 03财年03 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Kuznets}，Ann.纯粹应用。逻辑169，No.12，1369--1418（2018；Zbl 1522.03053） 全文： 内政部 OA许可证
罗马库兹涅茨 使用标记序列计算证明Craig和Lyndon插值。 （英语） Zbl 1485.03091号 Michael，Loizos（编辑）等人，《人工智能中的逻辑》。2016年11月9日至11日，第15届欧洲会议，JELIA 2016，塞浦路斯拉纳卡。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10021, 320-335 (2016).MSC公司：03C40号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.库兹涅茨}，莱克特。注释计算。科学。10021、320——335（2016；Zbl 1485.03091） 全文： 内政部 arXiv公司
安尼马里州博格;罗马库兹涅茨 证明逻辑的实现定理：完全模块化。 （英语） Zbl 1471.03084号 De Nivelle，Hans（编辑），分析表的自动推理和相关方法。第24届国际会议，TABLEUX 2015，波兰弗罗茨瓦夫，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 221-236 (2015).MSC公司：03层45 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Borg}和\textit{R.Kuznets}，莱克特。注释计算。科学。9323、221--236（2015；Zbl 1471.03084） 全文： 内政部
谢尔盖·阿特莫夫;罗马库兹涅茨 逻辑全知是不可行的。 （英语） Zbl 1510.03012号 Ann.纯粹应用。逻辑 165，第1期，6-25（2014）.MSC公司：03B42号 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov}和\textit{R.Kuznets}，Ann.Pure Appl。逻辑165，No.1，6--25（2014；Zbl 1510.03012） 全文： 内政部
罗马库兹涅茨;托马斯·施图德 更新为证据：信念扩展。 （英语） Zbl 1437.03069号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734, 266-279 (2013).MSC公司：03B42号 PDF格式BibTeX公司 XML格式引用 \textit{R.Kuznets}和\textit{T.Studer}，莱克特。注释计算。科学。7734、266——279（2013年；Zbl 1437.03069） 全文： 内政部
雷莫·戈茨基;罗马库兹涅茨 通过嵌套序列实现对正逻辑：通过嵌入实现模块化。 （英语） Zbl 1276.03020号 Ann.纯粹应用。逻辑 163，第9期，1271-1298（2012）. 审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德） MSC公司：03B45号 03B60号 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{R.Goetschi}和\textit{R.Kuznets}，Ann.Pure Appl。逻辑163，No.9，1271--1298（2012；Zbl 1276.03020） 全文： 内政部
Samuel R.巴斯。;罗马库兹涅茨 合理化逻辑的复杂度下限。 （英语） Zbl 1243.03026号 Ann.纯粹应用。逻辑 163，编号7888-905（2012）. 审核人：G.E.Mints（斯坦福） MSC公司：03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss}和\textit{R.Kuznets}，Ann.Pure Appl。逻辑163，No.7，888--905（2012；Zbl 1243.03026） 全文： 内政部
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德 常识的理由。 （英语） Zbl 1242.03036号 J.应用。非类别。日志。 21，第1期，35-60（2011）.MSC公司：03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bucheli}等人，J.Appl。非类别。日志。21、第1号、第35--60号（2011；Zbl 1242.03036） 全文： 内政部 arXiv公司
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德 获得常识的两种方法。 （英语） Zbl 1345.03027号 Bolander，Thomas（编辑）等人，《第六届模式方法研讨会论文集》（M4M-6 2009），丹麦哥本哈根，2009年11月12-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记26283-98（2010）。MSC公司：03B42号 03财年03 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bucheli}等人，《电子》。理论注释。计算。科学。26283--98（2010年；Zbl 1345.03027） 全文： 内政部
库兹涅茨，罗马 认知逻辑中的自指证明。 （英语） Zbl 1216.03037号 理论计算。系统。 46，第4期，636-661（2010）.MSC公司：03B45号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{R.库兹涅茨}，理论计算。系统。46，第4号，636--661（2010；Zbl 1216.03037） 全文： 内政部 链接
Samuel R.巴斯。;罗马库兹涅茨 证明逻辑的反射片段的NP-完整性。 （英语） Zbl 1211.03035号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2009年1月3日至6日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2009国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92686-3/pbk）。《计算机科学讲义》5407122-136（2009）。MSC公司：03B45号 03B42号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss}和\textit{R.Kuznets}，莱克特。注释计算。科学。5407、122--136（2009年；Zbl 1211.03035） 全文： 内政部
罗马库兹涅茨 正当知识的自我参照。 （英语） Zbl 1143.03010号 爱德华·赫施（Edward A.Hirsch）等，《计算机科学——理论与应用》。第三届国际计算机科学研讨会于2008年6月7日至12日在俄罗斯莫斯科举行，CSR 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79708-1/pbk）。计算机科学讲义5010，228-239（2008）。MSC公司：03B45号 03B42号 03层45 PDF格式BibTeX公司 XML格式引用 \textit{R.库兹涅茨}，莱克特。注释计算。科学。5010、228--239（2008；Zbl 1143.03010） 全文： 内政部
弗拉基米尔·勃列日涅夫;罗马库兹涅茨 让知识明确：这有多困难。 （英语） 兹比尔1094.03006 西奥。计算。科学。 357，编号1-3，23-34（2006）.MSC公司：03B42号 03层45 03B45号 20层03 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛V.勃列日涅夫｝和\textit｛R.库兹涅茨｝，Theor。计算。科学。357，编号1--3，23-34（2006；Zbl 1094.03006） 全文： 内政部