Search Results - Nikitchenko, M.
- Showing 1 - 7 results of 7
-
1
Algebras and logics of partial quasiary predicates by Nikitchenko, M., Shkilniak, S.
Published in Algebra and Discrete Mathematics (2017)Get full text
Article -
2
Algebras of quasiary and of bi-quasiary relations by Nikitchenko, M.S., Shkilniak, S.S.
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
3
Pure first-order quasiary logics with equality predicates by Nikitchenko, M.S., Shkilniak, S.S.
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
4
Compositional-nominative logics over hierarchical data by Nikitchenko, M.S., Shkilniak, S.S.
Published in PROBLEMS IN PROGRAMMING (2026)Get full text
Article -
5
Pure first-order logics of quasiary predicates by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
6
Logics of general non-deterministic predicates: semantic aspects by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
7
Search Tools:
Related Subjects
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
алгебра;композиція
изоморфизм