{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:28:54Z","timestamp":1742941734378,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030394585"},{"type":"electronic","value":"9783030394592"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-39459-2_3","type":"book-chapter","created":{"date-parts":[[2020,1,18]],"date-time":"2020-01-18T04:02:48Z","timestamp":1579320168000},"page":"50-67","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition"],"prefix":"10.1007","author":[{"given":"Ievgen","family":"Ivanov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4078-1062","authenticated-orcid":false,"given":"Mykola","family":"Nikitchenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,1,19]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-319-11737-9_26","volume-title":"Formal Methods and Software Engineering","author":"J Wiik","year":"2014","unstructured":"Wiik, J., Bostr\u00f6m, P.: Contract-based verification of MATLAB and simulink matrix-manipulating code. In: Merz, S., Pang, J. (eds.) ICFEM 2014. LNCS, vol. 8829, pp. 396\u2013412. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-11737-9_26"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume":"19","author":"R Floyd","year":"1967","unstructured":"Floyd, R.: Assigning meanings to programs. Math. Aspects Comput. Sci. 19, 19\u201332 (1967)","journal-title":"Math. Aspects Comput. Sci."},{"issue":"10","key":"3_CR3","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C Hoare","year":"1969","unstructured":"Hoare, C.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"3_CR4","first-page":"59","volume":"26","author":"I Ivanov","year":"2018","unstructured":"Ivanov, I., Korni\u0142owicz, A., Nikitchenko, M.: Implementation of the composition-nominative approach to program formalization in Mizar. Comput. Sci. J. Moldova 26, 59\u201376 (2018)","journal-title":"Comput. Sci. J. Moldova"},{"key":"3_CR5","unstructured":"Ivanov, I., Korni\u0142owicz, A., Nikitchenko, M.: Formalization of nominative data in Mizar. In: Proceedings of TAAPSD 2015, 23\u201326 December 2015, pp. 82\u201385. Taras Shevchenko National University of Kyiv, Ukraine (2015)"},{"key":"3_CR6","unstructured":"Ivanov, I.: An abstract block formalism for engineering systems. In: Ermolayev, V., et al. (eds.) Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19\u201322, 2013. CEUR Workshop Proceedings, vol. 1000, pp. 448\u2013463. CEUR-WS.org (2013)"},{"key":"3_CR7","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-319-03998-5_16","volume-title":"Information and Communication Technologies in Education, Research, and Industrial Applications","author":"I Ivanov","year":"2013","unstructured":"Ivanov, I.: On existence of total input-output pairs of abstract time systems. In: Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.) ICTERI 2013. CCIS, vol. 412, pp. 308\u2013331. Springer, Cham (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-319-03998-5_16"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-06089-7_8","volume-title":"Theory and Applications of Models of Computation","author":"I Ivanov","year":"2014","unstructured":"Ivanov, I.: On representations of abstract systems with partial inputs and outputs. In: Gopal, T.V., Agrawal, M., Li, A., Cooper, S.B. (eds.) TAMC 2014. LNCS, vol. 8402, pp. 104\u2013123. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-06089-7_8"},{"key":"3_CR9","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-030-13929-2_4","volume-title":"Information and Communication Technologies in Education, Research, and Industrial Applications","author":"I Ivanov","year":"2019","unstructured":"Ivanov, I., Nikitchenko, M.: Inference rules for the partial floyd-hoare logic based on composition of predicate complement. In: Ermolayev, V., Su\u00e1rez-Figueroa, M.C., Yakovyna, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A. (eds.) ICTERI 2018. CCIS, vol. 1007, pp. 71\u201388. Springer, Cham (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-13929-2_4"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"11","DOI":"10.2478\/forma-2018-0002","volume":"26","author":"A Korni\u0142owicz","year":"2018","unstructured":"Korni\u0142owicz, A., Ivanov, I., Nikitchenko, M.: Kleene algebra of partial predicates. Formalized Math. 26, 11\u201320 (2018)","journal-title":"Formalized Math."},{"key":"3_CR11","unstructured":"Korni\u0142owicz, A., Kryvolap, A., Nikitchenko, M., Ivanov, I.: An approach to formalization of an extension of Floyd-Hoare logic. In: Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, May 15\u201318, 2017, pp. 504\u2013523 (2017)"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Kornilowicz, A., Kryvolap, A., Nikitchenko, M., Ivanov, I.: Formalization of the algebra of nominative data in Mizar. In: Ganzha, M., Maciaszek, L.A., Paprzycki, M. (eds.) Proceedings of the 2017 Federated Conference on Computer Science and Information Systems. ACSIS, vol. 11, pp. 237\u2013244 (2017)","DOI":"10.15439\/2017F301"},{"key":"3_CR13","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-319-67229-8_16","volume-title":"Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology \u2013 ISAT 2017","author":"A Korni\u0142owicz","year":"2018","unstructured":"Korni\u0142owicz, A., Kryvolap, A., Nikitchenko, M., Ivanov, I.: Formalization of the nominative algorithmic algebra in Mizar. In: \u015awi\u0105tek, J., Borzemski, L., Wilimowska, Z. (eds.) ISAT 2017. AISC, vol. 656, pp. 176\u2013186. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-67229-8_16"},{"key":"3_CR14","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-319-03998-5_18","volume-title":"Information and Communication Technologies in Education, Research, and Industrial Applications","author":"A Kryvolap","year":"2013","unstructured":"Kryvolap, A., Nikitchenko, M., Schreiner, W.: Extending floyd-hoare logic for partial pre- and postconditions. In: Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.) ICTERI 2013. CCIS, vol. 412, pp. 355\u2013378. Springer, Cham (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-319-03998-5_18"},{"issue":"4","key":"3_CR15","doi-asserted-by":"publisher","first-page":"70","DOI":"10.15546\/aeei-2013-0052","volume":"13","author":"M Nikitchenko","year":"2013","unstructured":"Nikitchenko, M., Kryvolap, A.: Properties of inference systems for Floyd-Hoare logic with partial predicates. Acta Electrotechnica et Informatica 13(4), 70\u201378 (2013)","journal-title":"Acta Electrotechnica et Informatica"},{"key":"3_CR16","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-319-76168-8_3","volume-title":"Information and Communication Technologies in Education, Research, and Industrial Applications","author":"M Nikitchenko","year":"2018","unstructured":"Nikitchenko, M., Ivanov, I., Korni\u0142owicz, A., Kryvolap, A.: Extended floyd-hoare logic over relational nominative data. In: Bassiliades, N., et al. (eds.) ICTERI 2017. CCIS, vol. 826, pp. 41\u201364. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-76168-8_3"},{"key":"3_CR17","unstructured":"Nikitchenko, N.S.: A composition nominative approach to program semantics. Technical report, IT-TR 1998\u2013020, Technical University of Denmark (1998)"},{"key":"3_CR18","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-319-13206-8_6","volume-title":"Information and Communication Technologies in Education, Research, and Industrial Applications","author":"V Skobelev","year":"2014","unstructured":"Skobelev, V., Nikitchenko, M., Ivanov, I.: On algebraic properties of nominative data and functions. In: Ermolayev, V., Mayr, H., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds.) ICTERI 2014. CCIS, vol. 469, pp. 117\u2013138. Springer, Cham (2014)"},{"key":"3_CR19","first-page":"5","volume":"51","author":"S Yablonskii","year":"1958","unstructured":"Yablonskii, S.: Functional constructions in a k-valued logic. Trudy Mat. Inst. Steklov. 51, 5\u2013142 (1958)","journal-title":"Trudy Mat. Inst. Steklov."},{"key":"3_CR20","unstructured":"Nikitchenko, M., Shkilniak, O., Shkilniak, S., Mamedov, T.: Completeness of the logic of partial quasiary predicates with the complement composition. In: Proceedings of the Conference on Mathematical Foundations of Informatics MFOI 2019, July 3\u20136, 2019, Iasi, Romania (2019)"}],"container-title":["Communications in Computer and Information Science","Information and Communication Technologies in Education, Research, and Industrial Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-39459-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,20]],"date-time":"2020-02-20T02:07:28Z","timestamp":1582164448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-39459-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030394585","9783030394592"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-39459-2_3","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"19 January 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTERI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kherson","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ukraine","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icteri2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/icteri.org\/icteri-2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"416","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}