The following pages link to N. S. Nikitchenko (Q800720):
Displayed 18 items.
- Computable compositions and universal program logics (Q800721) (← links)
- Composition semantics of programming languages (Q1053445) (← links)
- Program definers (Q1054455) (← links)
- Composition programming and functional programming: A comparative analysis (Q1065536) (← links)
- Compositions of programs that induce special monotonic functions (Q1091118) (← links)
- Semantic synthesis of programs by matching compositions (Q1111007) (← links)
- Syntactic analysis of programming languages using the involution method (Q1235970) (← links)
- Applicative compositions of partial predicates (Q1407111) (← links)
- Equitone predicate algebras and their applications (Q1429060) (← links)
- Propositional compositions of partial predicates (Q1592086) (← links)
- Algebraic approach to formalization of deductive query languages (Q1817160) (← links)
- Mutually complementary formalizations of deductive query languages (Q1895016) (← links)
- (Q2737328) (← links)
- Composition aspects of programmology. I (Q3790610) (← links)
- (Q3914466) (← links)
- (Q4007395) (← links)
- (Q4475108) (← links)
- Composition aspects of programmology. II (Q5753510) (← links)