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
https://portal.mardi4nfdi.de/entity/Q2737328	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

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: N. S. Nikitchenko