N. S. Nikitchenko

Available identifiers

zbMath Open nikitchenko.nikolaj-sMaRDI QIDQ800720

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4475108	2004-08-06	Paper
Equitone predicate algebras and their applications	2004-03-29	Paper
Applicative compositions of partial predicates	2003-09-09	Paper
Composition nominative logics of equitone predicates	2001-09-11	Paper
Propositional compositions of partial predicates	2001-07-26	Paper
Algebraic approach to formalization of deductive query languages	1997-05-13	Paper
Mutually complementary formalizations of deductive query languages	1995-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4007395	1992-09-27	Paper
Composition aspects of programmology. II	1988-01-01	Paper
Compositions of programs that induce special monotonic functions	1987-01-01	Paper
Semantic synthesis of programs by matching compositions	1987-01-01	Paper
Composition aspects of programmology. I	1987-01-01	Paper
Composition programming and functional programming: A comparative analysis	1985-01-01	Paper
Computable compositions and universal program logics	1983-01-01	Paper
Program definers	1983-01-01	Paper
Composition semantics of programming languages	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3914466	1980-01-01	Paper
Syntactic analysis of programming languages using the involution method	1976-01-01	Paper

Research outcomes over time

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