Spectrum of sequential number pershopordinal compositional-nominative logics
Prombles in programming 2013; 3: 22-37
Gespeichert in:
| Datum: | 2025 |
|---|---|
| 1. Verfasser: | Shkilnyak, S.S. |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
PROBLEMS IN PROGRAMMING
2025
|
| Schlagworte: | |
| Online Zugang: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/750 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Institution
Problems in programmingÄhnliche Einträge
-
First-order composition-nominative logics with generalized renominations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2025) -
Special relations of logical consequence in logics of quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2025) -
First-order composition-nominative logics with predicates of weak equality and of strong equality
von: Shkilniak, S.S.
Veröffentlicht: (2019) -
Sequent calculi of composition nominative modal logics of functional-equational level
von: Shkilnyak, O.S.
Veröffentlicht: (2025) -
Composition-nominative logics of free-quantifier levels
von: Shkilniak, S.S., et al.
Veröffentlicht: (2018)