V. S. Sekorin, “On equivalence of two PFP-operator semantics”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2020, Issue 3,Pages <nobr>41

This article is cited in 4 papers

Theoretical Foundations of Computer Science

On equivalence of two PFP-operator semantics

V. S. Sekorin

Tver State University, Tver

Abstract: We consider two different semantics of partial fixed point (PFP) operator. We establish that they are equivalent for structures those contain more than one element. For this purpose we show how to translate each type of PFP-operator to other one.

Keywords: partial fixed point, infinite structure, semantic.

UDC: 510.624

Received: 15.08.2020
Revised: 05.09.2020

DOI: 10.26456/vtpmk598