Чисті першопорядкові квазіaрні логіки з предикатами рівності / Нікітченко М. С., Шкільняк С. С. (2017)
Ukrainian

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000724012
  Проблеми програмування  Б - 2020  /     Випуск (2017, № 2)

Нікітченко М. С., Шкільняк С. С.
Чисті першопорядкові квазіaрні логіки з предикатами рівності

Бібліографічний опис:
Нікітченко М. С., Шкільняк С. С. Чисті першопорядкові квазіaрні логіки з предикатами рівності. Проблеми програмування. 2017. № 2. С. 3-23. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000724012

English  Problems in programming   /     Issue (2017, 2)

Nikitchenko M. S., Shkilniak S. S.
Pure first-order quasiary logics with equality predicates

Cite:
Nikitchenko, M. S., Shkilniak, S. S. (2017). Pure first-order quasiary logics with equality predicates. Problems in programming, 2, 3-23. http://jnas.nbuv.gov.ua/article/UJRN-0000724012 [In Ukrainian].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна