Suchergebnisse - Nikitchenko, M.
- Treffer 1 - 7 von 7
-
1
Algebras and logics of partial quasiary predicates von Nikitchenko, M., Shkilniak, S.
Veröffentlicht in Algebra and Discrete Mathematics (2017)Volltext
Artikel -
2
Algebras of quasiary and of bi-quasiary relations von Nikitchenko, M.S., Shkilniak, S.S.
Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)
Volltext
Artikel -
3
Pure first-order quasiary logics with equality predicates von Nikitchenko, M.S., Shkilniak, S.S.
Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)
Volltext
Artikel -
4
Compositional-nominative logics over hierarchical data von Nikitchenko, M.S., Shkilniak, S.S.
Veröffentlicht in PROBLEMS IN PROGRAMMING (2026)Volltext
Artikel -
5
Pure first-order logics of quasiary predicates von Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)
Volltext
Artikel -
6
Logics of general non-deterministic predicates: semantic aspects von Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)
Volltext
Artikel -
7
Propositional logics of partial predicates with composition of predicate complement von Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.
Veröffentlicht in PROBLEMS IN PROGRAMMING (2019)
Volltext
Artikel
Suchwerkzeuge:
Ähnliche Schlagworte
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
алгебра;композиція
изоморфизм