Результати пошуку - "partial predicate"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- logic 3
- logical consequence 3
- partial predicate 3
- логічний наслідок 3
- UDC 004.42:510.69 2
- УДК 004.42:510.69 2
- логика 2
- логіка 2
- частковий предикат 2
- : логіка 1
- UDC 004.42:510.64 1
- composition algebra 1
- semantics 1
- sequent сalculus 1
- УДК 004.42:510.64 1
- композиционная алгебра 1
- композиційна алгебра 1
- логическое следствие 1
- предикат 1
- секвенційне числення 1
- семантика 1
- частичный предикат 1
- частичный предикат; логическое следствие; секвенциальное исчисление 1
-
1
First-order logics with partial predicates for checking variable definedness
Опубліковано в PROBLEMS IN PROGRAMMING (2025)
Отримати повний текст
Стаття -
2
-
3