Mykola Nikitchenko

Available identifiers

zbMath Open nikitchenko.mykola-sMaRDI QIDQ271899

List of research outcomes

Publication	Date of Publication	Type
Completeness of the first-order logic of partial quasiary predicates with the complement composition	2020-11-02	Paper
On algebras of algorithms and specifications over uninterpreted data	2019-07-10	Paper
On an algorithmic algebra over simple-named complex-valued nominative data	2019-07-10	Paper
An inference system of an extension of Floyd-Hoare logic for partial predicates	2019-07-10	Paper
Partial correctness of GCD algorithm	2019-07-10	Paper
https://portal.mardi4nfdi.de/entity/Q4557967	2018-11-27	Paper
Kleene algebra of partial predicates	2018-10-17	Paper
Composition-nominative logics as institutions	2018-08-06	Paper
Semantic properties of \(T\)-consequence relation in logics of quasiary predicates	2018-07-03	Paper
Set-theoretic analysis of nominative data	2018-07-03	Paper
Proving properties of programs on hierarchical nominative data	2018-07-03	Paper
Nominative data with ordered set of names	2018-07-03	Paper
Implementation of the composition-nominative approach to program formalization in Mizar	2018-07-03	Paper
Simple-named complex-valued nominative data -- definition and basic operations	2018-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4593227	2017-11-21	Paper
https://portal.mardi4nfdi.de/entity/Q5365463	2017-10-06	Paper
Event-based proof of the mutual exclusion property of Peterson's algorithm	2016-04-20	Paper
Basics of intensionalized data: presets, sets, and nominats	2015-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q5254639	2015-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q2933402	2014-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q2933445	2014-12-10	Paper
Satisfiability in composition-nominative logics	2014-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q5746017	2014-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q2850235	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2850296	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2850352	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q2850426	2013-09-26	Paper
https://portal.mardi4nfdi.de/entity/Q4899541	2013-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q2897444	2012-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q2897499	2012-07-16	Paper
Composition-nominative aspects of address programming	2010-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q5467804	2006-05-24	Paper
https://portal.mardi4nfdi.de/entity/Q4675424	2005-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q4418112	2003-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4798419	2003-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4782555	2002-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q2745129	2001-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q2745130	2001-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q2745194	2001-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q2737108	2001-09-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mykola Nikitchenko