Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Onoprienko, Anastasiya Aleksandrovna

Statistics Math-Net.Ru
Total publications: 4
Scientific articles: 2
Presentations: 2

Number of views:
This page:368
Abstract pages:1089
Full texts:483
References:72
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:

http://www.mathnet.ru/eng/person111160
List of publications on Google Scholar
List of publications on ZentralBlatt
ISTINA http://istina.msu.ru/workers/146793573

Publications in Math-Net.Ru
2020
1. A. A. Onoprienko, “Kripke semantics for the logic of problems and propositions”, Mat. Sb., 211:5 (2020),  98–125  mathnet  mathscinet  elib; Sb. Math., 211:5 (2020), 709–732  isi  scopus
2015
2. L. D. Beklemishev, A. A. Onoprienko, “On some slowly terminating term rewriting systems”, Mat. Sb., 206:9 (2015),  3–20  mathnet  mathscinet  zmath  elib; Sb. Math., 206:9 (2015), 1173–1190  isi  elib  scopus

2020
3. A. Onoprienko, “Непрерывность дискретная и обычная”, Kvant, 2020, 2,  38–42  mathnet
2018
4. A. A. Onoprienko, “Геометрия клетчатой бумаги”, Kvant, 2018, 11,  27–30  mathnet

Presentations in Math-Net.Ru
1. A joint logic of problems and propositions
A. A. Onoprienko
Logical Perspectives 2021: Summer School and Workshop
June 17, 2021 11:00   
2. Предикатный вариант совместной логики задач и высказываний
A. A. Onoprienko
Seminars "Proof Theory" and "Logic Online Seminar"
March 16, 2020 18:30   

Organisations
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021