编辑配置文件(在新选项卡中打开) Onoprienko,Anastasiya A。 合著者距离 作者ID: onoprenko.anastasiya-a号 发布日期: Onoprienko,A.A。;Onoprienko,Anastasiya A。 已编制索引的文档: 6出版物自2015年起 合著者: 1位合著者具有1联合出版物 92位合作作者 合著者 5 单作者的 1 列夫·贝克莱米舍夫。 系列 三 斯博尼克:数学 1 莫斯科大学数学通报 1 代数与逻辑 1 Doklady数学 字段 6 数学逻辑和基础(03-XX) 1 群论与推广(20-XX) 1 一般拓扑结构(54至XX) 1 计算机科学(68-XX) 按年份列出的出版物 zbMATH Open中包含的引文 4出版物有被引用8中的次5文件 引用人▼ 年份▼ 问题和命题的联合逻辑的谓词版本。 Zbl 07733536号 Onoprienko,Anastasiya A。 三 2022 问题和命题逻辑的克里普克语义学。 Zbl 1476.03003号 Onoprienko,Anastasiya A。 2 2020 在一些缓慢终止的术语重写系统上。 Zbl 1334.68110号 L.D.Beklemishev。;Onoprienko,A.A。 2 2015 问题和命题的命题逻辑的拓扑模型。 Zbl 07660974号 Onoprienko,A.A。 1 2022 问题和命题联合逻辑的谓词版本。 Zbl 07733536号 Onoprienko,Anastasiya A。 三 2022 问题和命题的命题逻辑的拓扑模型。 Zbl 07660974号 Onoprienko,A.A。 1 2022 问题和命题逻辑的克里普克语义学。 兹比尔1476.03003 Onoprienko,Anastasiya A。 2 2020 在一些缓慢终止的术语重写系统上。 Zbl 1334.68110号 L.D.Beklemishev。;Onoprienko,A.A。 2 2015 全部的 前5名6位作者引用 三 Onoprienko,Anastasiya A。 1 列夫·贝克莱米舍夫。 1 安德烈斯·科多恩·佛朗哥 1 大卫·费尔南德斯·杜克 1 Joost J.乔斯特恩。 1 拉拉·马汀(Lara-Martín),弗朗西斯科·费利克斯(Francisco Felix) 5篇连载文章中引用 1 莫斯科大学数学通报 1 俄罗斯数学调查 1 代数与逻辑 1 符号逻辑杂志 1 Doklady数学 在3个字段中引用 5 数学逻辑和基础(03-XX) 1 群论与推广(20-XX) 1 一般拓扑结构(54至XX) 按年份列出的引文