Результати пошуку
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- semantics
- семантика 5
- logic 4
- logical consequence 4
- логіка 4
- логічний наслідок 4
- UDC 004.42:510.69 3
- predicate 3
- УДК 004.42:510.69 3
- логика 3
- логическое следствие 3
- предикат 3
- UDC 004.02+004.05+005.93+ 510.3 1
- UDC 004.42:510.64 1
- anomaly 1
- application problem 1
- attack 1
- distributed system 1
- information 1
- model 1
- partial predicate 1
- security 1
- sequent calculus 1
- УДК 004.02+004.05+005.93+ 510.3 1
- УДК 004.42:510.64 1
- аномалія 1
- атака 1
- безпека 1
- модель 1
- прикладна задача 1
-
1
Logical consequence relations in logics of quasiary predicates
Опубліковано 2018Отримати повний текст
Стаття -
2
-
3
-
4
Security basic model for applied tasks of the distributed information system
Опубліковано 2021Отримати повний текст
Стаття -
5
First-order logics with partial predicates for checking variable definedness
Опубліковано 2025Отримати повний текст
Стаття