The following pages link to E. L. Yushchenko (Q1142583):
Displaying 50 items.
- Storage standardization in structured programming (Q1142584) (← links)
- Certain problems of the theory of structured program schemes (Q1251891) (← links)
- Complete interpretations of \(\Omega\)-languages and free algebras of \(\Omega\)-elements (Q1280914) (← links)
- Approach to the construction of algebraic models of algorithms and programs (Q1364100) (← links)
- (Q1388057) (redirect page) (← links)
- Structural synthesis of parallel programs (methodology and tools) (Q1388058) (← links)
- Programs with restoration of computations (Q1592016) (← links)
- ORIENTIR -- audio tools for text construction (Q1895029) (← links)
- Glushkov algorithmic algebras and system modeling (Q1895052) (← links)
- Formalized program specifications and transformation synthesis (Q1899896) (← links)
- Algebra of algorithms and Kaluzhnin's graph-schemas (Q1905123) (← links)
- Algebraic-grammatical models of parallel computation (Q1910963) (← links)
- On languages over an alphabet interpreted in a boolean algebra (Q1918741) (← links)
- Denotational semantics of mixed computation processes for a structural programming language (Q3034846) (← links)
- Multilevel synthesis of structured programs (Q3217580) (← links)
- (Q3287642) (← links)
- (Q3291892) (← links)
- Theoretical and applied aspects of structured parallel programming (Q3806794) (← links)
- (Q3835678) (← links)
- (Q3847719) (← links)
- (Q3847753) (← links)
- (Q3847755) (← links)
- (Q3849234) (← links)
- (Q3853146) (← links)
- (Q3867187) (← links)
- Multilayer syntactic analysis of parallel programming systems (Q3890087) (← links)
- (Q3898008) (← links)
- Analyst: A program package for proving identities (theorems) in axiomatic algorithmic-algebra systems (Q3902546) (← links)
- Current methods for proving program correctness (Q3911363) (← links)
- Analysis and synthesis of structured parallel programs (Q3956376) (← links)
- (Q3960098) (← links)
- (Q4051622) (← links)
- (Q4053082) (← links)
- (Q4058095) (← links)
- (Q4069781) (← links)
- Metalanguage oriented towards syntactic analysis and control (Q4082980) (← links)
- (Q4086687) (← links)
- (Q4114741) (← links)
- (Q4139696) (← links)
- (Q4144212) (← links)
- (Q4153619) (← links)
- (Q4154055) (← links)
- (Q4191558) (← links)
- (Q5337553) (← links)
- (Q5512182) (← links)
- (Q5532076) (← links)
- (Q5574389) (← links)
- (Q5582118) (← links)
- (Q5675280) (← links)
- (Q5723487) (← links)
