Composition-nominative logics of free-quantifier levels
Gespeichert in:
| Datum: | 2016 |
|---|---|
| Hauptverfasser: | S. S. Shkilniak, D. B. Volkovytskyi |
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
2016
|
| Schriftenreihe: | Problems in programming |
| Online Zugang: | http://jnas.nbuv.gov.ua/article/UJRN-0000518770 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
Library portal of National Academy of Sciences of Ukraine | LibNASÄhnliche Einträge
-
Composition-nominative logics of free-quantifier levels
von: Shkilniak, S.S., et al.
Veröffentlicht: (2018) -
Sequent calculi for logics of free-quantifier functional levels
von: S. S. Shkilniak, et al.
Veröffentlicht: (2016) -
Compositional logics of nominative data
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015) -
First-order composition-nominative logics with generalized renominations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2025) -
Construction of sequent calculi of composition-nominative multimodal logics
von: Shkilniak, O.S.
Veröffentlicht: (2025)