Buchumschlag

Peterson&#039;s Algorithm total correctness proof in IPCL

Gespeichert in:

Bibliographische Detailangaben
Datum:	2016
1. Verfasser:	A. A. Zhygallo
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2016
Schriftenreihe:	Problems in programming
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000518776
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

Peterson’s Algorithm total correctness proof in IPCL
von: Zhygallo, A.A.
Veröffentlicht: (2016)

Peterson’s algorithm Total correctness proof in IPCL
von: Zhygallo, A.A.
Veröffentlicht: (2018)

Correctness Property Proof for the Banking System for Money Transfer Payments
von: Yu. A. Ostapovska, et al.
Veröffentlicht: (2016)

Correctness Property Proof for the Banking System for Money Transfer Payments
von: Ostapovska, Yu.A., et al.
Veröffentlicht: (2018)

Peterson's Deformations of higher dimensional quadrics
von: Dincă, I.I.
Veröffentlicht: (2010)

Proof of Accuracy: Blockchain and Cryptocurrency Based on General Optimal Algorithms Theory
von: A. M. Kudin
Veröffentlicht: (2017)

The Proof of the Algorithms Convergence for Combinatorial Optimization with the Using Subclasses of the Solved Problems
von: N. K. Tymofiieva
Veröffentlicht: (2016)

Modification of Peterson-Gorenstein-Zierler method, bringing the matrix to triangular form
von: F. G. Fejziev, et al.
Veröffentlicht: (2018)

Modification of Peterson-Gorenstein-Zierler method, bringing the matrix to triangular form (binary case)
von: F. G. Fejziev, et al.
Veröffentlicht: (2016)

Electronic proofs and economic court
von: A. M. Naichenko
Veröffentlicht: (2017)

Another proof for the continuity of the Lipsman mapping
von: A. Messaoud, et al.
Veröffentlicht: (2020)

The proof of an equivalence of D&#039;alembert&#039;s and Cauchy&#039; tests in the theory of numerical series
von: L. P. Mironenko
Veröffentlicht: (2013)

The Algorithm of Checking for Correctness of Spline Regression Model
von: Yu. Savkina
Veröffentlicht: (2017)

Object of burden of proof in civil proceedings
von: N. B. Fartushok
Veröffentlicht: (2015)

The proof-structure of the transcendental deduction of categories
von: Yu. Fedorchenko
Veröffentlicht: (2015)

Legal nature of electronic proofs in the economic court
von: A. M. Naichenko
Veröffentlicht: (2017)

Algorithms for Dynamic Correction of the Thermal Flows’ Measuring Systems
von: Verlan, Andrey Anatolievich, et al.
Veröffentlicht: (2016)

A new simple proof of Cayles&#039;s formula and its relationship with the Kirkwood–Salzburg equations
von: O. L. Rebenko
Veröffentlicht: (2022)

Exact algorithm for finding the largest correcting codes problem for Z-channel
von: V. P. Shilo, et al.
Veröffentlicht: (2017)

A direct proof of the reflection principle for Brownian motion
von: S. J. Dilworth, et al.
Veröffentlicht: (2016)

Legal nature of writing proofs is in civil procedure of Ukraine
von: T. M. Kucher
Veröffentlicht: (2013)

Witness testimony as a means of proof in administrative proceedings
von: Ya. S. Kalmykova
Veröffentlicht: (2015)

Proof of theorems in fuzzy logic on the basis of structural resolution
von: Ju. Ja. Samokhvalov
Veröffentlicht: (2019)

Algorithms of building a model of the noisy process by correction of the law of its distribution
von: T. A. Aliev, et al.
Veröffentlicht: (2017)

Administrative aspect of proof development of the self organized business-system
von: O. V. Aleinikova
Veröffentlicht: (2014)

Victory at the Kulikovo Field as a Proof of Russian Victorious Strategy
von: V. S. Haietskyi
Veröffentlicht: (2011)

Comparative Analysis Proof-of-work vs Byzantine Fault-tolerance
von: O. O. Perekopskyi
Veröffentlicht: (2017)

Research evidence as a stage of the process of proof in Civil Proceedings
von: D. V. Shkrebets
Veröffentlicht: (2017)

The Exploitation of Hero&#039;s Image by Total Ideologies of XX Centuty
von: Yu. Yu. Kindzerska
Veröffentlicht: (2003)

Total differential
von: Ju. Ju. Trokhimchuk
Veröffentlicht: (2017)

A proof of a conjecture on convolution of harmonic mappings and some related problems
von: S. Yalзin, et al.
Veröffentlicht: (2021)

Formation of crisis-proof credit policy of business entities in economy of Ukraine
von: O. Rudyk
Veröffentlicht: (2012)

Interpretation of data: description, explanation, proof through the objectivism and positivism approaches
von: O. Petrenko
Veröffentlicht: (2011)

The proof of an equivalence of D’alembert’s and Cauchy’s tests in the theory of numerical series
von: Mironenko, L.P.
Veröffentlicht: (2013)

Features of subject of proof of crimes committed by documenting financial – business transactions
von: L. S. Kozak
Veröffentlicht: (2015)

Didactic and correction potential of fairy tale texts in teacher&#039;s work
von: A. Hanzha
Veröffentlicht: (2022)

Wild horse optimization algorithm implementation in 7-level packed U-cell multilevel inverter to mitigate total harmonic distortion
von: Ebrahimi, F., et al.
Veröffentlicht: (2024)

A simple proof of the Radó and Král theorems on removability of the zero locus for analytic and harmonic functions
von: Pokrovskii, A.V.
Veröffentlicht: (2015)

The burden of proof in civil proceedings: features of allocation of responsibilities for providing of evidence in contractual disputes
von: S. O. Koroied
Veröffentlicht: (2018)

Studying of producer of beebread and the proof of phenomenon entomophilous at introduction species of Amaranthus L. genus
von: O. L. Skrypka
Veröffentlicht: (2003)