Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю
| dc.contributor.author | Шкільняк, О.С. | |
| dc.contributor.author | Шкільняк, С.С. | |
| dc.date.accessioned | 2023-03-10T17:39:50Z | |
| dc.date.available | 2023-03-10T17:39:50Z | |
| dc.date.issued | 2022 | |
| dc.description.abstract | У роботі досліджено нові класи програмно-орієнтованих логік – чисті першопорядкові логіки часткових квазіарних предикатів із розширеними реномінаціями та предикатами строгої рівності й слабкої рівності. | uk_UA |
| dc.description.abstract | The paper considers new classes of software-oriented logical formalisms – pure first-order logics of partial quasiary predicates with extended renominations and predicates of strong equality and of weak equality. | uk_UA |
| dc.identifier.citation | Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю / О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2022. — № 3-4. — С. 11-22. — Бібліогр.: 12 назв. — укр. | uk_UA |
| dc.identifier.issn | 1727-4907 | |
| dc.identifier.other | DOI: https://doi.org/10.15407/pp2022.03-04.011 | |
| dc.identifier.udc | 510.64 | |
| dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/188624 | |
| dc.language.iso | uk | uk_UA |
| dc.publisher | Інститут програмних систем НАН України | uk_UA |
| dc.relation.ispartof | Проблеми програмування | |
| dc.status | published earlier | uk_UA |
| dc.subject | Теоретичні і методологічні основи програмування | uk_UA |
| dc.title | Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю | uk_UA |
| dc.title.alternative | First-order sequent calculi of logics of quasiary predicates with extended renominations and equality | uk_UA |
| dc.type | Article | uk_UA |