É. Kh. Tyugu

Available identifiers

zbMath Open tyugu.enn-kharaldovichWikidataQ16407501 ScholiaQ16407501MaRDI QIDQ1607555

List of research outcomes

Publication	Date of Publication	Type
The programming system PRIZ	2018-12-11	Paper
Type-theoretical semantics of some declarative languages	2018-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q3001109	2011-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q5754228	2007-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q3043820	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4421942	2003-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q4778648	2002-11-18	Paper
PRIZ programming system	2002-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q4529642	2002-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q4312464	1999-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4312450	1994-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4312455	1994-12-04	Paper
Object-oriented programming	1992-06-28	Paper
Higher order dataflow schemas	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4730807	1989-01-01	Paper
The programming system PRIZ	1988-01-01	Paper
Corrigendum to ``Semantics of a declarative language	1987-01-01	Paper
Semantics of a declarative language	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3730008	1986-01-01	Paper
Description semantics in utopist language and automatic program synthesis	1985-01-01	Paper
The PRIZ system and propositional calculus	1983-01-01	Paper
Justification of the structural synthesis of programs	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3038597	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3666280	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3706480	1982-01-01	Paper
Algorithms of structured synthesis of programs	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3886838	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4124276	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4156202	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4136540	1976-01-01	Paper
A computational problem solver	1973-01-01	Paper
Solution of problems using computational models	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5674400	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5606996	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5621276	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: É. Kh. Tyugu