Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Sekorin, Vseslav Stanislavovich

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

Number of views:
This page:209
Abstract pages:313
Full texts:166
References:73
Birth date: 16.10.1996
Keywords: first order logic

Subject:

Partial fixed point

   
Main publications:
  1. Sekorin V.S., “Partial Fixed Point for Finite Models in Second Order Logic”, Lobachevskii Journal of Mathematics, 41:9 (2020), 1672-1679

https://www.mathnet.ru/eng/person163730
List of publications on Google Scholar
List of publications on ZentralBlatt
https://elibrary.ru/author_items.asp?spin=4356-3305
https://orcid.org/0000-0002-8893-6393
https://www.scopus.com/authid/detail.url?authorId=57219801332

Publications in Math-Net.Ru Citations
2024
1. V. S. Sekorin, “On undecidability of unary non-nested PFP-operators for one successor function theory”, Izv. Vyssh. Uchebn. Zaved. Mat., 2024, no. 4,  89–93  mathnet
2022
2. V. S. Sekorin, “Modeling of the partial fixed point operator”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2022, no. 2,  14–26  mathnet  elib
2020
3. V. S. Sekorin, “On equivalence of two PFP-operator semantics”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2020, no. 3,  41–49  mathnet  elib 4

Presentations in Math-Net.Ru
1. Выразительные возможности операторов частичной неподвижной точки для конечных и бесконечных систем
V. S. Sekorin
Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
February 28, 2024 19:00   
2. On the expressivity properties of partial fixed point operator for finite and infinite systems
V. S. Sekorin
Seminars "Proof Theory" and "Logic Online Seminar"
February 26, 2024 18:30   

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