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; Russian Math. (Iz. VUZ), 68:4 (2024), 79–82
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
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
