Tyugu, Enn Grigori Mints and computer science. (English) Zbl 1246.03010 Feferman, Solomon (ed.) et al., Proofs, categories and computations. Essays in honor of Grigori Mints. With the collaboration of Vladik Kreinovich, Vladimir Lifschitz, and Ruy de Queiroz. London: College Publications (ISBN 978-1-84890-012-7/pbk). Tributes 13, 267-277 (2010). Reviewer: Damas Gruska (Bratislava) MSC: 03-03 03B70 68-03 01A60 PDFBibTeX XMLCite \textit{E. Tyugu}, Tributes 13, 267--277 (2010; Zbl 1246.03010)
Matskin, Mihhail; Tyugu, Enn Strategies of structural synthesis of programs and its extensions. (English) Zbl 1037.68131 Comput. Inform. 20, No. 1, 1-25 (2001). MSC: 68T15 68N17 68T20 PDFBibTeX XMLCite \textit{M. Matskin} and \textit{E. Tyugu}, Comput. Inform. 20, No. 1, 1--25 (2001; Zbl 1037.68131)
Vlassov, Vladimir; Addibpour, Mattin; Tyugu, Enn Nuts: A distributed object-oriented platform with high level communication functions. (English) Zbl 0993.68017 Comput. Artif. Intell. 17, No. 4, 305-335 (1998). Reviewer: Marián Vajteršic (Bratislava) MSC: 68N19 65Y05 68Q10 PDFBibTeX XMLCite \textit{V. Vlassov} et al., Comput. Artif. Intell. 17, No. 4, 305--335 (1998; Zbl 0993.68017)
Mints, Grigory; Smith, Jan M.; Tyugu, Enn Type-theoretical semantics of some declarative languages. (English) Zbl 1412.68043 Bārzdiṇš, Jānis (ed.) et al., Baltic computer science. Selected papers. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 502, 18-32 (1991). MSC: 68N30 03B70 68N15 68Q55 68Q60 PDFBibTeX XMLCite \textit{G. Mints} et al., Lect. Notes Comput. Sci. 502, 18--32 (1991; Zbl 1412.68043) Full Text: DOI
Mints, G.; Tyugu, E. The programming system PRIZ. (English) Zbl 1412.68044 Bārzdiṇš, Jānis (ed.) et al., Baltic computer science. Selected papers. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 502, 1-17 (1991). MSC: 68N30 03B70 68Q55 68Q60 PDFBibTeX XMLCite \textit{G. Mints} and \textit{E. Tyugu}, Lect. Notes Comput. Sci. 502, 1--17 (1991; Zbl 1412.68044) Full Text: DOI
Tyugu, Enn H. Propositional logic programming. (English) Zbl 0681.68110 Comput. Artif. Intell. 8, No. 4, 357-368 (1989). MSC: 68T15 03B05 PDFBibTeX XMLCite \textit{E. H. Tyugu}, Comput. Artif. Intell. 8, No. 4, 357--368 (1989; Zbl 0681.68110)
Mints, G.; Tyugu, E. The programming system PRIZ. (English) Zbl 0647.68098 J. Symb. Comput. 5, No. 3, 359-375 (1988). MSC: 68T99 68N01 PDFBibTeX XMLCite \textit{G. Mints} and \textit{E. Tyugu}, J. Symb. Comput. 5, No. 3, 359--375 (1988; Zbl 0647.68098) Full Text: DOI
Mints, G.; Tyugu, E. Corrigendum to “Semantics of a declarative language”. (English) Zbl 0621.68003 Inf. Process. Lett. 25, 139 (1987). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{G. Mints} and \textit{E. Tyugu}, Inf. Process. Lett. 25, 139 (1987; Zbl 0621.68003) Full Text: DOI
Mints, G.; Tyugu, E. Semantics of a declarative language. (English) Zbl 0607.68006 Inf. Process. Lett. 23, 147-151 (1986). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{G. Mints} and \textit{E. Tyugu}, Inf. Process. Lett. 23, 147--151 (1986; Zbl 0607.68006) Full Text: DOI
Mints, G. E.; Tyugu, E. K. Description semantics in utopist language and automatic program synthesis. (English. Russian original) Zbl 0617.68016 Program. Comput. Software 11, 251-258 (1985); translation from Programmirovanie 1985, No. 5, 3-11 (1985). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{G. E. Mints} and \textit{E. K. Tyugu}, Program. Comput. Softw. 11, 251--258 (1985; Zbl 0617.68016); translation from Programmirovanie 1985, No. 5, 3--11 (1985)
Tyugu, Eh. Kh. Structural synthesis of programs. (Russian) Zbl 0583.68002 Algorithms in modern mathematics, II, Mater. Int. Symp., Urgench/UzSSR, 1979, 64-78 (1982). Reviewer: V.Mazurov MSC: 68Q60 PDFBibTeX XML
Tyugu, E. Kh. Computational frames and structural synthesis of programs. (English. Russian original) Zbl 0525.68006 Eng. Cybern. 20, No. 6, 101-106 (1982); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1982, No. 6, 176-182 (1982). MSC: 68Q60 68P05 PDFBibTeX XMLCite \textit{E. Kh. Tyugu}, Eng. Cybern. 20, No. 6, 101--106 (1982; Zbl 0525.68006); translation from Izv. Akad. Nauk SSSR, Tekh. Kibern. 1982, No. 6, 176--182 (1982)
Mints, G. E.; Tyugu, Eh. Kh. The completeness of structural synthesis rules. (English. Russian original) Zbl 0517.68058 Sov. Math., Dokl. 25, 343-346 (1982); translation from Dokl. Akad. Nauk SSSR 263, 291-295 (1982). MSC: 68Q65 PDFBibTeX XMLCite \textit{G. E. Mints} and \textit{Eh. Kh. Tyugu}, Sov. Math., Dokl. 25, 343--346 (1982; Zbl 0517.68058); translation from Dokl. Akad. Nauk SSSR 263, 291--295 (1982)
Mints, G.; Tyugu, E. Justification of the structural synthesis of programs. (English) Zbl 0514.68019 Sci. Comput. Program. 2, 215-240 (1982). MSC: 68Q60 68T15 PDFBibTeX XMLCite \textit{G. Mints} and \textit{E. Tyugu}, Sci. Comput. Program. 2, 215--240 (1982; Zbl 0514.68019) Full Text: DOI
Ershov, A. P. (ed.); Knuth, D. E. (ed.) [Zemanek, H.; Knuth, D. E.; Uspensky, V. A.; Semenov, A. L.; Barzdin, J. M.; Manin, Yu. I.; Nepeivoda, N. N.; Tyugu, E. H.; Letichevsky, A. A.; Adel’son-Vel’skii, G. M.; Slisenko, A. O.; Alder, A.; Strassen, V.; Kleene, S. C.; Shanin, N. A.; Tseytlin, G. S.; Ershov, A. P.; Bauer, F. L.; Glushkov, V. M.; Matijasevic, Y.; Matiyasevich, Yu. V.; Buda, A.; Anisimov, A. V.] Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. (English) Zbl 0477.68035 Lecture Notes in Computer Science, 122. Berlin-Heidelberg-New York: Springer-Verlag. XI, 487 p. DM 45.50; $ 21.20 (1981). MSC: 68W99 68-06 01A30 03-06 68Q25 03D60 03B25 03D25 11U05 68N01 03F60 03F65 94A15 68P10 03A05 03D40 03D15 68Q60 PDFBibTeX XML
Tyugu, Eh. Kh.; Kharf, M. Ya. Algorithms of structured synthesis of programs. (English. Russian original) Zbl 0468.68010 Program. Comput. Software 6, 165-175 (1980); translation from Programmirovanie 1980, No. 4, 3-13 (1980). MSC: 68Q60 PDFBibTeX XMLCite \textit{Eh. Kh. Tyugu} and \textit{M. Ya. Kharf}, Program. Comput. Softw. 6, 165--175 (1980; Zbl 0468.68010); translation from Programmirovanie 1980, No. 4, 3--13 (1980)
Tyugu, E. H. Towards practical synthesis of programs. (English) Zbl 0443.68009 Information processing, Proc. IFIP Congr., Tokyo and Melbourne 1980, 207-219 (1980). MSC: 68Q60 PDFBibTeX XML