Sekorin Vseslav Stanislavovich

Publications in Math-Net.Ru

1. On undecidability of unary non-nested PFP-operators for one successor function theory
   
   Izv. Vyssh. Uchebn. Zaved. Mat., 2024, no. 4,  89–93
2. 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
3. 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