Get started
Author

Всеслав Станиславович Секорин

Observed names: V Sekorin, V. S. Sekorin, Vseslav Sekorin
Observed institution: Tver State University
ORCID: 0000-0002-8893-6393
Observed ORCID: 0000-0002-8893-6393
OpenAlex ID: A5028209628
On equivalence of two PFP-operator semantics
2020 · Всеслав Станиславович Секорин · Herald of Tver State University Series Applied Mathematics · 3
PDF
On equivalence of PFP-operator and PFP-quantifier
2021 · V Sekorin · Journal of Physics Conference Series · 2
PDF
Partial Fixed Point for Finite Models in Second Order Logic
2020 · V. S. Sekorin · Lobachevskii Journal of Mathematics · 2
On undecidability of unary non-nested PFP-operators for one successor function theory
2024 · V. S. Sekorin · Russian Mathematics
PDF
On Undecidability of Unary Nonnested PFP Operators for One Successor Function Theory
2024 · V. S. Sekorin · Russian Mathematics
Undecidability of Unary Unnested PFP-operators for One Successor
2023 · Vseslav Sekorin · Applied Mathematics, Computational Science and Mechanics: Current Problems (AMCSM)
Modeling of the partial fixed point operator
2022 · Всеслав Станиславович Секорин · Herald of Tver State University Series Applied Mathematics
PDF
Элиминация оператора частичной фиксированной точки
2021 · Всеслав Станиславович Секорин · Международная научно-практическая конференция «Актуальные проблемы науки и образования в условиях современных вызовов»
PDF
Works count: 8
Citation count: 7
H-index: 2
I10-index:
Year
Topic
Type