The following pages link to G. E. Tsejtlin (Q800710):
Displayed 50 items.
- Formal aspects of structured programming with goto statements (Q800711) (← links)
- Formal transformation of structured sorting algorithms (Q1067782) (← links)
- Algorithmic data structure algebras and multilevel program design (Q1087007) (← links)
- Storage standardization in structured programming (Q1142584) (← links)
- Design of sequential sorting algorithms: Classification, transformation, synthesis (Q1183773) (← links)
- Design of parallel sorting algorithm (Q1183793) (← links)
- Constructing the lattice of subalgebras of the Dijkstra algebra (Q1264604) (← links)
- Functional completeness in iterative meta-algebras (Q1280934) (← links)
- Searching and sorting: Classification, transformation, and synthesis. I (Q1319749) (← links)
- Searching and sorting: Classification, transformation, and synthesis. II (Q1319774) (← links)
- Item:Q800710 (redirect page) (← links)
- Structural synthesis of parallel programs (methodology and tools) (Q1388058) (← links)
- Strategies for symbolic processing and synthesis of algorithms and programs (Q1817148) (← links)
- Design of symbolic-processing algorithms (Q1895006) (← 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)
- Multilevel structured program designs and correctness proving (Q1910975) (← links)
- Multilevel synthesis of structured programs (Q3217580) (← links)
- (Q3336677) (← links)
- Structured programming in symbolic multiprocessing (Q3683523) (← links)
- Theoretical and applied aspects of structured parallel programming (Q3806794) (← links)
- (Q3835678) (← links)
- Multilayer syntactic analysis of parallel programming systems (Q3890087) (← links)
- Analyst: A program package for proving identities (theorems) in axiomatic algorithmic-algebra systems (Q3902546) (← links)
- Identity transformations for structured-program schemes with closed logic conditions (Q3914408) (← links)
- Analysis and synthesis of structured parallel programs (Q3956376) (← links)
- (Q3960098) (← links)
- (Q4051622) (← links)
- (Q4069781) (← links)
- (Q4076798) (← links)
- (Q4096455) (← links)
- (Q4121388) (← links)
- (Q4139696) (← links)
- (Q4153619) (← links)
- (Q4178456) (← links)
- (Q4191558) (← links)
- (Q4197331) (← links)
- (Q4197332) (← links)
- (Q4197333) (← links)
- (Q4767015) (← links)
- (Q4884901) (← links)
- (Q5585383) (← links)
- (Q5611764) (← links)
- (Q5642590) (← links)
- (Q5663751) (← links)
- (Q5672868) (← links)
- (Q5675280) (← links)
- Theory of language processors and parallel computations (Q5904540) (← links)