Результати пошуку - Nikitchenko, M.S.
- Показ 1 - 7 результатів із 7
-
1
Algebras and logics of partial quasiary predicates за авторством Nikitchenko, M., Shkilniak, S.
Опубліковано в Algebra and Discrete Mathematics (2017)Отримати повний текст
Стаття -
2
Algebras of quasiary and of bi-quasiary relations за авторством Nikitchenko, M.S., Shkilniak, S.S.
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
3
Pure first-order quasiary logics with equality predicates за авторством Nikitchenko, M.S., Shkilniak, S.S.
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
4
Compositional-nominative logics over hierarchical data за авторством Nikitchenko, M.S., Shkilniak, S.S.
Опубліковано в PROBLEMS IN PROGRAMMING (2026)Отримати повний текст
Стаття -
5
Pure first-order logics of quasiary predicates за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
6
Logics of general non-deterministic predicates: semantic aspects за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
7
Propositional logics of partial predicates with composition of predicate complement за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.
Опубліковано в PROBLEMS IN PROGRAMMING (2019)
Отримати повний текст
Стаття
Інструменти для пошуку:
Пов'язані теми
logic
УДК 004.42:510.69
логика
UDC 004.42:510.69
logical consequence
логіка
логічний наслідок
логическое следствие
предикат
секвенційне числення
algebra
predicate
sequent calculus
алгебра
секвенциальное исчисление
: логіка
UDC 004.4
composition
equality
isomorphism
non-deterministic predicate
partial predicate
quasiary predicate
relation
semantics
sequent сalculus
УДК 004.4
алгебра;композиція
изоморфизм