Logowanie
Zarejestruj się
Zresetuj hasło
Publikuj i Dystrybuuj
Rozwiązania Wydawnicze
Rozwiązania Dystrybucyjne
Dziedziny
Architektura i projektowanie
Bibliotekoznawstwo i bibliologia
Biznes i ekonomia
Chemia
Chemia przemysłowa
Filozofia
Fizyka
Historia
Informatyka
Inżynieria
Inżynieria materiałowa
Językoznawstwo i semiotyka
Kulturoznawstwo
Literatura
Matematyka
Medycyna
Muzyka
Nauki farmaceutyczne
Nauki klasyczne i starożytne studia bliskowschodnie
Nauki o Ziemi
Nauki o organizmach żywych
Nauki społeczne
Prawo
Sport i rekreacja
Studia judaistyczne
Sztuka
Teologia i religia
Zagadnienia ogólne
Publikacje
Czasopisma
Książki
Materiały konferencyjne
Wydawcy
Blog
Kontakt
Wyszukiwanie
EUR
USD
GBP
Polski
English
Deutsch
Polski
Español
Français
Italiano
Koszyk
Home
Czasopisma
Formalized Mathematics
Tom 25 (2017): Zeszyt 3 (October 2017)
Otwarty dostęp
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
Ievgen Ivanov
Ievgen Ivanov
,
Mykola Nikitchenko
Mykola Nikitchenko
,
Andrii Kryvolap
Andrii Kryvolap
oraz
Artur Korniłowicz
Artur Korniłowicz
| 19 gru 2017
Formalized Mathematics
Tom 25 (2017): Zeszyt 3 (October 2017)
O artykule
Poprzedni artykuł
Następny artykuł
Abstrakt
Referencje
Autorzy
Artykuły w tym zeszycie
Podgląd
PDF
Zacytuj
Udostępnij
Data publikacji:
19 gru 2017
Zakres stron:
205 - 216
Otrzymano:
30 sie 2017
DOI:
https://doi.org/10.1515/forma-2017-0020
Słowa kluczowe
program semantics
,
software verification
,
nominative data
© 2017 Ievgen Ivanov et al., published by De Gruyter Open
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
Ievgen Ivanov
Taras Shevchenko National University,
Kyiv, Ukraine
Mykola Nikitchenko
Taras Shevchenko National University,
Kyiv, Ukraine
Andrii Kryvolap
Taras Shevchenko National University,
Kyiv, Ukraine
Artur Korniłowicz
Institute of Informatics, University of Białystok
Poland