Suchergebnisse - "partial predicate"
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- 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
Veröffentlicht in PROBLEMS IN PROGRAMMING (2025)
Volltext
Artikel -
2
Propositional logics of partial predicates with composition of predicate complement
Veröffentlicht in PROBLEMS IN PROGRAMMING (2019)
Volltext
Artikel -
3
Relations of logical consequence in logics of partial predicates with composition of predicate complement
Veröffentlicht in PROBLEMS IN PROGRAMMING (2019)
Volltext
Artikel