Have a personal or library account? Click to login
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations Cover

Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations

Formalized Mathematics
Volume 25 (2017): Issue 3 (October 2017)
By: Ievgen Ivanov,  Mykola Nikitchenko,  Andrii Kryvolap and  Artur Korniłowicz  
Open Access
|Dec 2017

Authors

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
DOI: https://doi.org/10.1515/forma-2017-0020 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 205 - 216
Submitted on: Aug 30, 2017
|
Published on: Dec 19, 2017
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
program semantics,
software verification,
nominative data
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other

© 2017 Ievgen Ivanov, Mykola Nikitchenko, Andrii Kryvolap, Artur Korniłowicz, published by University of Białystok
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Previous articleVolume 25 (2017): Issue 3 (October 2017)Next article