Composition nominative modal logics of partial non-monotone predicates and their calculi / Shkilniak, O. S., Kasianiuk, V. S., Maliutenko, L. M. (2017)
| Problems in programming / Issue (2017, 2)
Shkilniak O. S., Kasianiuk V. S., Maliutenko L. M. Composition nominative modal logics of partial non-monotone predicates and their calculi
Cite: Shkilniak, O. S., Kasianiuk, V. S., Maliutenko, L. M. (2017). Composition nominative modal logics of partial non-monotone predicates and their calculi. Problems in programming, 2, 24-39. http://jnas.nbuv.gov.ua/article/UJRN-0000724013 [In Ukrainian]. |
|
|