Program-Oriented Logics of Renominative Level with Extended Renomination and Equality

Information and Communication Technologies in Education, Research, and Industrial Applications - Communications in Computer and Information Science ◽

10.1007/978-3-030-39459-2_4 ◽

2020 ◽

pp. 68-88

Author(s):

Mykola Nikitchenko ◽

Oksana Shkilniak ◽

Stepan Shkilniak

Download Full-text