| Publication | Date of Publication | Type |
|---|
Functional completeness in iterative meta-algebras
Cybernetics and Systems Analysis | 1999-05-05 | Paper |
Constructing the lattice of subalgebras of the Dijkstra algebra
Cybernetics and Systems Analysis | 1998-11-19 | Paper |
Structural synthesis of parallel programs (methodology and tools)
Computer Science Journal of Moldova | 1998-10-19 | Paper |
Strategies for symbolic processing and synthesis of algorithms and programs
Programming and Computer Software | 1997-05-13 | Paper |
scientific article; zbMATH DE number 897908 (Why is no real title available?)
| 1996-08-20 | Paper |
Multilevel structured program designs and correctness proving
Cybernetics and Systems Analysis | 1996-05-20 | Paper |
Algebra of algorithms and Kaluzhnin's graph-schemas
Cybernetics and Systems Analysis | 1996-04-11 | Paper |
Formalized program specifications and transformation synthesis
Cybernetics and Systems Analysis | 1995-11-02 | Paper |
ORIENTIR -- audio tools for text construction
Cybernetics and Systems Analysis | 1995-08-06 | Paper |
Design of symbolic-processing algorithms
Cybernetics and Systems Analysis | 1995-08-06 | Paper |
Glushkov algorithmic algebras and system modeling
Cybernetics and Systems Analysis | 1995-08-06 | Paper |
scientific article; zbMATH DE number 746877 (Why is no real title available?)
| 1995-04-26 | Paper |
Searching and sorting: Classification, transformation, and synthesis. I
Automation and Remote Control | 1994-05-08 | Paper |
Searching and sorting: Classification, transformation, and synthesis. II
Automation and Remote Control | 1994-05-08 | Paper |
Design of sequential sorting algorithms: Classification, transformation, synthesis
Programming and Computer Software | 1992-06-28 | Paper |
Design of parallel sorting algorithm
Programming and Computer Software | 1992-06-28 | Paper |
Theoretical and applied aspects of structured parallel programming
Cybernetics | 1987-01-01 | Paper |
Algorithmic data structure algebras and multilevel program design
Programming and Computer Software | 1986-01-01 | Paper |
Formal transformation of structured sorting algorithms
Programming and Computer Software | 1985-01-01 | Paper |
Formal aspects of structured programming with goto statements
Programming and Computer Software | 1984-01-01 | Paper |
Multilevel synthesis of structured programs
Cybernetics | 1983-01-01 | Paper |
Structured programming in symbolic multiprocessing
Cybernetics | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3870580 (Why is no real title available?)
| 1982-01-01 | Paper |
Analysis and synthesis of structured parallel programs
Cybernetics | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3782356 (Why is no real title available?)
| 1980-01-01 | Paper |
Storage standardization in structured programming
Programming and Computer Software | 1979-01-01 | Paper |
Theory of language processors and parallel computations
Cybernetics | 1979-01-01 | Paper |
Multilayer syntactic analysis of parallel programming systems
Cybernetics | 1979-01-01 | Paper |
Analyst: A program package for proving identities (theorems) in axiomatic algorithmic-algebra systems
Cybernetics | 1979-01-01 | Paper |
Identity transformations for structured-program schemes with closed logic conditions
Cybernetics | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3630177 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3637274 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3614142 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3586509 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3637272 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3637273 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3518297 (Why is no real title available?)
| 1976-01-01 | Paper |
scientific article; zbMATH DE number 3568039 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3466537 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3486999 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3493899 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3546704 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3442118 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3405897 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3410937 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3370387 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3334155 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3395762 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3304024 (Why is no real title available?)
| 1968-01-01 | Paper |
