G. E. Tsejtlin

Available identifiers

zbMath Open tsejtlin.g-eMaRDI QIDQ800710

List of research outcomes

Publication	Date of Publication	Type
Functional completeness in iterative meta-algebras	1999-05-05	Paper
Constructing the lattice of subalgebras of the Dijkstra algebra	1998-11-19	Paper
Structural synthesis of parallel programs (methodology and tools)	1998-10-19	Paper
Strategies for symbolic processing and synthesis of algorithms and programs	1997-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4884901	1996-08-20	Paper
Multilevel structured program designs and correctness proving	1996-05-20	Paper
Algebra of algorithms and Kaluzhnin's graph-schemas	1996-04-11	Paper
Formalized program specifications and transformation synthesis	1995-11-02	Paper
Design of symbolic-processing algorithms	1995-08-06	Paper
ORIENTIR -- audio tools for text construction	1995-08-06	Paper
Glushkov algorithmic algebras and system modeling	1995-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q3835678	1995-04-26	Paper
Searching and sorting: Classification, transformation, and synthesis. I	1994-05-08	Paper
Searching and sorting: Classification, transformation, and synthesis. II	1994-05-08	Paper
Design of sequential sorting algorithms: Classification, transformation, synthesis	1992-06-28	Paper
Design of parallel sorting algorithm	1992-06-28	Paper
Theoretical and applied aspects of structured parallel programming	1987-01-01	Paper
Algorithmic data structure algebras and multilevel program design	1986-01-01	Paper
Formal transformation of structured sorting algorithms	1985-01-01	Paper
Formal aspects of structured programming with goto statements	1984-01-01	Paper
Multilevel synthesis of structured programs	1983-01-01	Paper
Structured programming in symbolic multiprocessing	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3336677	1982-01-01	Paper
Analysis and synthesis of structured parallel programs	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3960098	1980-01-01	Paper
Storage standardization in structured programming	1979-01-01	Paper
Multilayer syntactic analysis of parallel programming systems	1979-01-01	Paper
Analyst: A program package for proving identities (theorems) in axiomatic algorithmic-algebra systems	1979-01-01	Paper
Identity transformations for structured-program schemes with closed logic conditions	1979-01-01	Paper
Theory of language processors and parallel computations	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4178456	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4191558	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4197333	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4153619	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4197331	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4197332	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4096455	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4139696	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4051622	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4069781	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4076798	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4121388	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4767015	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5672868	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5675280	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5642590	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5611764	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5663751	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5585383	1968-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: G. E. Tsejtlin