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

Ievgen Ivanov, Mykola Nikitchenko, Andrii Kryvolap, Artur Kornilowicz. Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations. Formalized Mathematics, 25(3):205-216, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.