N. S. Nikitchenko

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 2084366 (Why is no real title available?)	2004-08-06	Paper
Equitone predicate algebras and their applications Cybernetics and Systems Analysis	2004-03-29	Paper
Applicative compositions of partial predicates Cybernetics and Systems Analysis	2003-09-09	Paper
Composition nominative logics of equitone predicates Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka	2001-09-11	Paper
Propositional compositions of partial predicates Cybernetics and Systems Analysis	2001-07-26	Paper
Algebraic approach to formalization of deductive query languages Programming and Computer Software	1997-05-13	Paper
Mutually complementary formalizations of deductive query languages Cybernetics and Systems Analysis	1995-08-06	Paper
scientific article; zbMATH DE number 59239 (Why is no real title available?)	1992-09-27	Paper
Composition aspects of programmology. II Cybernetics	1988-01-01	Paper
Compositions of programs that induce special monotonic functions Programming and Computer Software	1987-01-01	Paper
Semantic synthesis of programs by matching compositions Programming and Computer Software	1987-01-01	Paper
Composition aspects of programmology. I Cybernetics	1987-01-01	Paper
Composition programming and functional programming: A comparative analysis Programming and Computer Software	1985-01-01	Paper
Computable compositions and universal program logics Programming and Computer Software	1983-01-01	Paper
Program definers Programming and Computer Software	1983-01-01	Paper
Composition semantics of programming languages Programming and Computer Software	1982-01-01	Paper
scientific article; zbMATH DE number 3725732 (Why is no real title available?)	1980-01-01	Paper
Syntactic analysis of programming languages using the involution method Programming and Computer Software	1976-01-01	Paper

Research outcomes over time

This page was built for person: N. S. Nikitchenko