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)

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

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)

Метод доведення властивостей програм в композиційно-номінативних мовах IPCL
von: Панченко, Т.В.
Veröffentlicht: (2008)

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

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

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 (binary case)
von: F. G. Fejziev, et al.
Veröffentlicht: (2016)

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

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)

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

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

SAR Processing Algorithm with Built-In Geometric Correction
von: Bezvesilniy, O.O., et al.
Veröffentlicht: (2011)

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

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

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

A new proof of Frank-Weissenborn inequality
von: Gol`dberg, A.
Veröffentlicht: (2005)

Legal nature of electronic proofs in the economic court
von: A. M. Naichenko
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)

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

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

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)

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

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)

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

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 Decomposition of Global Conformal Invariants: Some Technical Proofs. I
von: Alexakis, S.
Veröffentlicht: (2011)

On Automata Minimization by Hopcroft&#039;s Algorithm
von: A. N. Chebotarev
Veröffentlicht: (2016)

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

Total differential
von: Trohimchuk, Yu. Yu, et al.
Veröffentlicht: (2017)

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