Login
Registrati
Reimposta password
Pubblica & Distribuisci
Soluzioni Editoriali
Soluzioni di Distribuzione
Temi
Architettura e design
Arti
Business e Economia
Chimica
Chimica industriale
Farmacia
Filosofia
Fisica
Geoscienze
Ingegneria
Interesse generale
Legge
Letteratura
Linguistica e semiotica
Matematica
Medicina
Musica
Scienze bibliotecarie e dell'informazione, studi library
Scienze dei materiali
Scienze della vita
Scienze informatiche
Scienze sociali
Sport e tempo libero
Storia
Studi classici e del Vicino Oriente antico
Studi culturali
Studi ebraici
Teologia e religione
Pubblicazioni
Riviste
Libri
Atti
Editori
Blog
Contatti
Cerca
EUR
USD
GBP
Italiano
English
Deutsch
Polski
Español
Français
Italiano
Carrello
Home
Riviste
Formalized Mathematics
Volume 25 (2017): Numero 3 (October 2017)
Accesso libero
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
Ievgen Ivanov
Ievgen Ivanov
,
Mykola Nikitchenko
Mykola Nikitchenko
,
Andrii Kryvolap
Andrii Kryvolap
e
Artur Korniłowicz
Artur Korniłowicz
| 19 dic 2017
Formalized Mathematics
Volume 25 (2017): Numero 3 (October 2017)
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Sommario
Bibliografia
Autori
Articoli in questo Numero
Anteprima
PDF
Cita
CONDIVIDI
Pubblicato online:
19 dic 2017
Pagine:
205 - 216
Ricevuto:
30 ago 2017
DOI:
https://doi.org/10.1515/forma-2017-0020
Parole chiave
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