Search Results

1 - 8 of 8 items :

  • "nominative data" x
Clear All

. Skobelev. Proving properties of programs on hierarchical nominative data. The Computer Science Journal of Moldova , 24(3):371–398, 2016. [9] Artur Kornilowicz, Andrii Kryvolap, Mykola Nikitchenko, and Ievgen Ivanov. Formalization of the algebra of nominative data in Mizar. In Maria Ganzha, Leszek A. Maciaszek, and Marcin Paprzycki, editors, Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3–6, 2017. , pages 237–244, 2017. ISBN 978-83-946253-7-5. doi:10.15439/2017F301. [10] Artur

.1007/978-3-319-13206-8_4. [7] Ievgen Ivanov, Mykola Nikitchenko, and Uri Abraham. Event-based proof of the mutual exclusion property of Peterson’s algorithm. Formalized Mathematics , 23(4):325–331, 2015. doi:10.1515/forma-2015-0026. [8] Ievgen Ivanov, Mykola Nikitchenko, Andrii Kryvolap, and Artur Korniłowicz. Simple-named complex-valued nominative data – definition and basic operations. Formalized Mathematics , 25( 3 ):205–216, 2017. doi:10.1515/forma-2017-0020. [9] Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. Implementation of the composition-nominative approach to program

partial pre- and post-conditions. In Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kyiv, Ukraine, May 14–17, 2018 , volume 2104 of CEUR Workshop Proceedings , pages 716–724, 2018. [4] Ievgen Ivanov, Mykola Nikitchenko, Andrii Kryvolap, and Artur Korniłowicz. Simple-named complex-valued nominative data – definition and basic operations. Formalized Mathematics , 25( 3 ):205–216, 2017. doi:10.1515/forma-2017-0020. [5] Ievgen Ivanov

, Andrii Kryvolap, and Artur Korniłowicz. Simple-named complex-valued nominative data – definition and basic operations. Formalized Mathematics , 25( 3 ):205–216, 2017. doi:10.1515/forma-2017-0020. [7] Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. Implementation of the composition-nominative approach to program formalization in Mizar. The Computer Science Journal of Moldova , 26(1):59–76, 2018. [8] Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. On an algorithmic algebra over simple-named complex-valued nominative data. Formalized Mathematics

, Andrii Kryvolap, and Artur Korniłowicz. Simple-named complex-valued nominative data – definition and basic operations. Formalized Mathematics , 25( 3 ):205–216, 2017. doi:10.1515/forma-2017-0020. [7] Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. Implementation of the composition-nominative approach to program formalization in Mizar. The Computer Science Journal of Moldova , 26(1):59–76, 2018. [8] Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. On an algorithmic algebra over simple-named complex-valued nominative data. Formalized Mathematics

.1007/978-3-319-13206-8_4. [7] Ievgen Ivanov, Mykola Nikitchenko, and Uri Abraham. Event-based proof of the mutual exclusion property of Peterson’s algorithm. Formalized Mathematics , 23(4):325–331, 2015. doi:10.1515/forma-2015-0026. [8] Ievgen Ivanov, Mykola Nikitchenko, Andrii Kryvolap, and Artur Korniłowicz. Simple-named complex-valued nominative data – definition and basic operations. Formalized Mathematics , 25( 3 ):205–216, 2017. doi:10.1515/forma-2017-0020. [9] Ievgen Ivanov, Artur Korniłowicz, and Mykola Nikitchenko. Implementation of the composition-nominative approach to program

partial pre- and post-conditions. In Proceedings of the 14th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kyiv, Ukraine, May 14–17, 2018 , volume 2104 of CEUR Workshop Proceedings , pages 716–724, 2018. [4] Ievgen Ivanov, Mykola Nikitchenko, Andrii Kryvolap, and Artur Korniłowicz. Simple-named complex-valued nominative data – definition and basic operations. Formalized Mathematics , 25( 3 ):205–216, 2017. doi:10.1515/forma-2017-0020. [5] Ievgen Ivanov

. Skobelev. Proving properties of programs on hierarchical nominative data. The Computer Science Journal of Moldova , 24(3):371–398, 2016. [16] J. A. Kalman. Lattices with involution. Transactions of the American Mathematical Society , 87(2):485–485, February 1958. doi:10.1090/s0002-9947-1958-0095135-x. [17] S.C. Kleene. Introduction to Metamathematics . North-Holland Publishing Co., Amsterdam, and P. Noordhoff, Groningen, 1952. [18] S. Körner. Experience and Theory: An Essay in the Philosophy of Science . International library of philosophy and scientific method