É. Kh. Tyugu

From MaRDI portal
Revision as of 22:08, 22 September 2023 by Import230922100944 (talk | contribs) (Created automatically from import230922100944)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:1607555

Available identifiers

zbMath Open tyugu.enn-kharaldovichWikidataQ16407501 ScholiaQ16407501MaRDI QIDQ1607555

List of research outcomes





PublicationDate of PublicationType
The programming system PRIZ2018-12-11Paper
Type-theoretical semantics of some declarative languages2018-12-11Paper
https://portal.mardi4nfdi.de/entity/Q30011092011-05-31Paper
https://portal.mardi4nfdi.de/entity/Q57542282007-08-21Paper
https://portal.mardi4nfdi.de/entity/Q30438202004-08-06Paper
https://portal.mardi4nfdi.de/entity/Q44219422003-09-02Paper
https://portal.mardi4nfdi.de/entity/Q47786482002-11-18Paper
PRIZ programming system2002-09-08Paper
https://portal.mardi4nfdi.de/entity/Q45296422002-05-05Paper
https://portal.mardi4nfdi.de/entity/Q43124641999-07-29Paper
https://portal.mardi4nfdi.de/entity/Q43124501994-12-04Paper
https://portal.mardi4nfdi.de/entity/Q43124551994-12-04Paper
Object-oriented programming1992-06-28Paper
Higher order dataflow schemas1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47308071989-01-01Paper
The programming system PRIZ1988-01-01Paper
Corrigendum to ``Semantics of a declarative language1987-01-01Paper
Semantics of a declarative language1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37300081986-01-01Paper
Description semantics in utopist language and automatic program synthesis1985-01-01Paper
The PRIZ system and propositional calculus1983-01-01Paper
Justification of the structural synthesis of programs1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30385971982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36662801982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37064801982-01-01Paper
Algorithms of structured synthesis of programs1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38868381980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41242761977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41562021977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41365401976-01-01Paper
A computational problem solver1973-01-01Paper
Solution of problems using computational models1972-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56744001971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56069961970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56212761968-01-01Paper

Research outcomes over time

This page was built for person: É. Kh. Tyugu