Boris Abramovich Trakhtenbrot (on the centenary of his birth)
- 作者: Artemov S.N., Barzdiņš J.M., Bokut' L.A., Gurevich Y., Dekhtyar' A.M., Levin L.A., Lomazova I.A., Matiyasevich Y.V., Nepomniaschy V.A., Novikov S.P., Rabinovich A., Sazonov V.Y., Slisenko A.O., Sokolov V.A., Trakhtenbrot M.B., Shilov N.V.
- 期: 卷 77, 编号 1 (2022)
- 页面: 191-195
- 栏目: Articles
- URL: https://journal-vniispk.ru/0042-1316/article/view/133725
- DOI: https://doi.org/10.4213/rm10048
- ID: 133725
如何引用文章
详细
作者简介
Sergei Artemov
Email: SArtemov@gc.cuny.edu
Jānis Barzdiņš
Leonid Bokut'
Email: bokut@math.nsc.ru
Doctor of physico-mathematical sciences, Professor
Yuri Gurevich
Doctor of physico-mathematical sciences
Alexander Dekhtyar'
Leonid Levin
Candidate of physico-mathematical sciences
Irina Lomazova
Doctor of physico-mathematical sciences, Professor
Yuri Matiyasevich
Email: yumat@pdmi.ras.ru
Doctor of physico-mathematical sciences, Professor
Valery Nepomniaschy
Email: vnep@iis.nsk.su
Candidate of physico-mathematical sciences, Senior Researcher
Sergei Novikov
Email: snovikov@mi-ras.ru
Doctor of physico-mathematical sciences, Professor
A. Rabinovich
Email: rabinoa@tauex.tau.ac.il
Vladimir Sazonov
Email: sazonov@liverpool.ac.uk
Candidate of physico-mathematical sciences, Senior Researcher
Anatol Slisenko
Doctor of physico-mathematical sciences, Professor
Valery Sokolov
Email: sokolov@uniyar.ac.ru
Doctor of physico-mathematical sciences, Professor
Mark Trakhtenbrot
Email: markt@hit.ac.il
Nikolai Shilov
Email: shiloviis@mail.ru
Candidate of physico-mathematical sciences, Associate professor
参考
- B. A. Trakhtenbrot, “From logic to theoretical computer science – an update”, Pillars of computer science, Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday, Lecture Notes in Comput. Sci., 4800, Springer, Berlin, 2008, 1–38
- B. A. Trakhtenbrot, “In memory of S. A. Yanovskaya (1896–1966) on the centenary of her birth”, Modern Logic, 7:2 (1997), 160–187
- A. R. Meyer, “Reminiscences”, Pillars of computer science, Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday, Lecture Notes in Comput. Sci., 4800, Springer, Berlin, 2008, 39–45
- Reviews of Boris Trakhtenbrot's books, 2017
- A. Avron, N. Dershowitz, A. Rabinovich, “Boris A. Trakhtenbrot: academic genealogy and publications”, Pillars of computer science, Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday, Lecture Notes in Comput. Sci., 4800, Springer, Berlin, 2008, 46–57
- Б. А. Трахтенброт, “Памяти Андрея Петровича Ершова”, Андрей Петрович Ершов – ученый и человек, Изд-во СО РАН, Новосибирск, 2006, 343–352
- B. A. Trakhtenbrot, Selected developments in Soviet mathematical cybernetics. Finite automata, combinational complexity, algorithmic complexity, Monogr. Ser. Soviet Union, Delphic Associates, Falls Church, VA, 1986, xiv+125 pp.
- B. A.Trakhtenbrot, “A survey of Russian approaches to perebor (brute-force search) algorithms”, Ann. Hist. Comput., 6:4 (1984), 384–400
- A. Avron, N. Dershowitz, A. Rabinovich (eds.), Pillars of computer science, Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday, Lecture Notes in Comput. Sci., 4800, Springer, Berlin, 2008, xxi+682 pp.
- L. M. Fisher, In memoriam: Boris Trakhtenbrot, 1921–2016, ACM News, 2016
- Boaz (Boris) Trakhtenbrot, 2016
- EATCS annual Distinguished Achievements Award of 2011
- Семинар по математическим основам информатики, посвященный столетию со дня рождения Б. A. Трахтенброта, 2021
- V. Sazonov, “In memory of Boris Trakhtenbrot, Mars Valiev and Michael Dekhtyar”, 9th workshop PSSV. Proceedings, 9th workshop “Program semantics, specification and verification: theory and applications” dedicated to the memory of B. A. Trakhtenbrot, M. I. Dekhtyar, and M. K. Valiev (Yaroslavl, 2018), Yaroslavl State Univ., Yaroslavl, 2018, 7–11
补充文件
