Зображення обкладинки

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

Збережено в:

Бібліографічні деталі
Дата:	2016
Автор:	A. A. Zhygallo
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2016
Назва видання:	Problems in programming
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000518776
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

Схожі ресурси

Peterson’s Algorithm total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2016)

Peterson’s algorithm Total correctness proof in IPCL
за авторством: Zhygallo, A.A.
Опубліковано: (2018)

Peterson's Deformations of higher dimensional quadrics
за авторством: Dincă, I.I.
Опубліковано: (2010)

Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Yu. A. Ostapovska, та інші
Опубліковано: (2016)

Correctness Property Proof for the Banking System for Money Transfer Payments
за авторством: Ostapovska, Yu.A., та інші
Опубліковано: (2018)

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

Proof of Accuracy: Blockchain and Cryptocurrency Based on General Optimal Algorithms Theory
за авторством: A. M. Kudin
Опубліковано: (2017)

Modification of Peterson-Gorenstein-Zierler method, bringing the matrix to triangular form
за авторством: F. G. Fejziev, та інші
Опубліковано: (2018)

The Proof of the Algorithms Convergence for Combinatorial Optimization with the Using Subclasses of the Solved Problems
за авторством: N. K. Tymofiieva
Опубліковано: (2016)

Modification of Peterson-Gorenstein-Zierler method, bringing the matrix to triangular form (binary case)
за авторством: F. G. Fejziev, та інші
Опубліковано: (2016)

Electronic proofs and economic court
за авторством: A. M. Naichenko
Опубліковано: (2017)

The proof of an equivalence of D&#039;alembert&#039;s and Cauchy&#039; tests in the theory of numerical series
за авторством: L. P. Mironenko
Опубліковано: (2013)

Algorithms for Dynamic Correction of the Thermal Flows’ Measuring Systems’
за авторством: Verlan, A.A., та інші
Опубліковано: (2016)

The Algorithm of Checking for Correctness of Spline Regression Model
за авторством: Yu. Savkina
Опубліковано: (2017)

SAR Processing Algorithm with Built-In Geometric Correction
за авторством: Bezvesilniy, O.O., та інші
Опубліковано: (2011)

Another proof for the continuity of the Lipsman mapping
за авторством: Messaoud, A., та інші
Опубліковано: (2020)

Another proof for the continuity of the Lipsman mapping
за авторством: A. Messaoud, та інші
Опубліковано: (2020)

Algorithms for Dynamic Correction of the Thermal Flows’ Measuring Systems
за авторством: Verlan, Andrey Anatolievich, та інші
Опубліковано: (2016)

A new proof of Frank-Weissenborn inequality
за авторством: Gol`dberg, A.
Опубліковано: (2005)

Legal nature of electronic proofs in the economic court
за авторством: A. M. Naichenko
Опубліковано: (2017)

Object of burden of proof in civil proceedings
за авторством: N. B. Fartushok
Опубліковано: (2015)

The proof-structure of the transcendental deduction of categories
за авторством: Yu. Fedorchenko
Опубліковано: (2015)

Exact algorithm for finding the largest correcting codes problem for Z-channel
за авторством: V. P. Shilo, та інші
Опубліковано: (2017)

A new simple proof of Cayles&#039;s formula and its relationship with the Kirkwood–Salzburg equations
за авторством: O. L. Rebenko
Опубліковано: (2022)

Algorithms of building a model of the noisy process by correction of the law of its distribution
за авторством: T. A. Aliev, та інші
Опубліковано: (2017)

The Exploitation of Hero&#039;s Image by Total Ideologies of XX Centuty
за авторством: Yu. Yu. Kindzerska
Опубліковано: (2003)

A direct proof of the reflection principle for Brownian motion
за авторством: S. J. Dilworth, та інші
Опубліковано: (2016)

Legal nature of writing proofs is in civil procedure of Ukraine
за авторством: T. M. Kucher
Опубліковано: (2013)

Witness testimony as a means of proof in administrative proceedings
за авторством: Ya. S. Kalmykova
Опубліковано: (2015)

Proof of theorems in fuzzy logic on the basis of structural resolution
за авторством: Ju. Ja. Samokhvalov
Опубліковано: (2019)

Didactic and correction potential of fairy tale texts in teacher&#039;s work
за авторством: A. Hanzha
Опубліковано: (2022)

Administrative aspect of proof development of the self organized business-system
за авторством: O. V. Aleinikova
Опубліковано: (2014)

Victory at the Kulikovo Field as a Proof of Russian Victorious Strategy
за авторством: V. S. Haietskyi
Опубліковано: (2011)

Comparative Analysis Proof-of-work vs Byzantine Fault-tolerance
за авторством: O. O. Perekopskyi
Опубліковано: (2017)

Research evidence as a stage of the process of proof in Civil Proceedings
за авторством: D. V. Shkrebets
Опубліковано: (2017)

The Decomposition of Global Conformal Invariants: Some Technical Proofs. I
за авторством: Alexakis, S.
Опубліковано: (2011)

On Automata Minimization by Hopcroft&#039;s Algorithm
за авторством: A. N. Chebotarev
Опубліковано: (2016)

Total differential
за авторством: Ju. Ju. Trokhimchuk
Опубліковано: (2017)

Total differential
за авторством: Trohimchuk, Yu. Yu, та інші
Опубліковано: (2017)

A proof of a conjecture on convolution of harmonic mappings and some related problems
за авторством: Yalçın, S., та інші
Опубліковано: (2021)