> Detailanzeige

Nikitchenko, Mykola [Verfasser:in]; Shkilniak, Oksana [Verfasser:in]; Shkilniak, Stepan [Verfasser:in]

Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Schließen

Merkliste

Medientyp: E-Artikel
Titel: Sequent Calculi of First-order Logics of Partial Predicates with Extended Renominations and Composition of Predicate Complement
Beteiligte: Nikitchenko, Mykola [Verfasser:in]; Shkilniak, Oksana [Verfasser:in]; Shkilniak, Stepan [Verfasser:in]
Erschienen: 2020
Erschienen in: UkrPROG (12. : 2020 : Online): UkrPROG 2020: 12th International Conference of Programming ; (2020), Seite 182-197
Sprache: Englisch
Entstehung:
Anmerkungen:
Zugangsstatus: Freier Zugang