Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics]
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Guidelines for authors
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.]:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics], 2020, Issue 3, Pages 41–49
DOI: https://doi.org/10.26456/vtpmk598 (Mi vtpmk598) 		 
This article is cited in 4 scientific papers (total in 4 papers)

Theoretical Foundations of Computer Science

On equivalence of two PFP-operator semantics

V. S. Sekorin

Tver State University, Tver
Full-text PDF (368 kB) Citations (4)
References:
PDF
HTML
DOI: https://doi.org/10.26456/vtpmk598
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.
Funding agency Grant number
Russian Foundation for Basic Research 20-01-00435
Received: 15.08.2020
Revised: 05.09.2020
Bibliographic databases:
Document Type: Article
UDC: 510.624
Language: Russian
Citation: 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
Citation in format AMSBIB
\Bibitem{Sek20}
\by V.~S.~Sekorin
\paper On equivalence of two PFP-operator semantics
\jour Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.]
\yr 2020
\issue 3
\pages 41--49
\mathnet{http://mi.mathnet.ru/vtpmk598}
\crossref{https://doi.org/10.26456/vtpmk598}
\elib{https://elibrary.ru/item.asp?id=44503275}
Linking options:
  • https://www.mathnet.ru/eng/vtpmk598
  • https://www.mathnet.ru/eng/vtpmk/y2020/i3/p41
    • This publication is cited in the following 4 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics]
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024