Search Results

1 - 8 of 8 items :

  • "Kleene algebra" x
Clear All

R eferences [1] Raymond Balbes and Philip Dwinger. Distributive Lattices . University of Missouri Press, 1975. [2] T.S. Blyth and J. Varlet. Ockham Algebras . Oxford science publications. Oxford University Press, 1994. [3] Diana Brignole and Antonio Monteiro. Caractérisation des algèbres de Nelson par des egalités . Instituto de Matemática, Universidad Nacional del Sur, Argentina, 1964. [4] Roberto Cignoli. Injective de Morgan and Kleene algebras. Proceedings of the American Mathematical Society , 47(2):269–278, 1975. [5] J.P. Cleave. A Study of Logics

, Nick Bassiliades, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Vyacheslav Kharchenko, Vladimir Peschanenko, Mariya Shyshkina, Mykola Nikitchenko, and Aleksander Spivakovsky, editors, Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, May 15–18, 2017 , volume 1844 of CEUR Workshop Proceedings , pages 504–523. CEUR-WS.org, 2017. [8] Artur Korniłowicz, Ievgen Ivanov, and Mykola Nikitchenko. Kleene algebra of partial predicates. Formalized

, Kyiv, Ukraine, May 15–18, 2017 , volume 1844 of CEUR Workshop Proceedings , pages 504–523. CEUR-WS.org, 2017. [9] Artur Korniłowicz, Ievgen Ivanov, and Mykola Nikitchenko. Kleene algebra of partial predicates. Formalized Mathematics , 26( 1 ):11–20, 2018. doi:10.2478/forma-2018-0002. [10] Andrii Kryvolap, Mykola Nikitchenko, and Wolfgang Schreiner. Extending Floyd-Hoare logic for partial pre- and postconditions. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, and Grygoriy Zholtkevych, editors, Information and Communication

Nikitchenko, and Aleksander Spivakovsky, editors, Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, May 15–18, 2017 , volume 1844 of CEUR Workshop Proceedings , pages 504–523. CEUR-WS.org, 2017. [17] Artur Korniłowicz, Ievgen Ivanov, and Mykola Nikitchenko. Kleene algebra of partial predicates. Formalized Mathematics , 26( 1 ):11–20, 2018. doi:10.2478/forma-2018-0002. [18] Andrii Kryvolap, Mykola Nikitchenko, and Wolfgang Schreiner. Extending Floyd

formalization in Mizar. The Computer Science Journal of Moldova , 26(1):59–76, 2018. [10] 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. [11] Artur Korniłowicz, Ievgen Ivanov, and Mykola Nikitchenko. Kleene

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. [12] Artur Korniłowicz, Ievgen Ivanov, and Mykola Nikitchenko. Kleene algebra of partial predicates. Formalized Mathematics , 26( 1 ):11–20, 2018. doi:10.2478/forma-2018-0002. [13] Artur Korniłowicz, Andrii Kryvolap, Mykola Nikitchenko, and Ievgen Ivanov. Formalization of the nominative algorithmic algebra in Mizar. In Jerzy Świątek, Leszek Borzemski, and Zofia Wilimowska, editors, Information Systems Architecture and

. Mayr, Vyacheslav Kharchenko, Vladimir Peschanenko, Mariya Shyshkina, Mykola Nikitchenko, and Aleksander Spivakovsky, editors, Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, May 15–18, 2017 , volume 1844 of CEUR Workshop Proceedings , pages 504–523. CEUR-WS.org, 2017. [14] Artur Korniłowicz, Ievgen Ivanov, and Mykola Nikitchenko. Kleene algebra of partial predicates. Formalized Mathematics , 26( 1 ):11–20, 2018. doi:10.2478/forma-2018

. [15] Artur Korniłowicz, Ievgen Ivanov, and Mykola Nikitchenko. Kleene algebra of partial predicates. Formalized Mathematics , 26( 1 ):11–20, 2018. doi:10.2478/forma-2018-0002. [16] Andrii Kryvolap, Mykola Nikitchenko, and Wolfgang Schreiner. Extending Floyd-Hoare logic for partial pre- and postconditions. In Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, and Grygoriy Zholtkevych, editors, Information and Communication Technologies in Education, Research, and Industrial Applications: 9th International Conference, ICTERI 2013, Kherson