Boris (Boaz) Abramovich Trakhtenbrot (‹See Tfd›Russian: Борис Авраамович Трахтенброт, Hebrew: בועז טרכטנברוט; 19 February 1921 – 19 September 2016) was...
6 KB (364 words) - 16:51, 31 October 2023
logic, finite model theory, and computability theory, Trakhtenbrot's theorem (due to Boris Trakhtenbrot) states that the problem of validity in first-order...
11 KB (1,894 words) - 10:01, 3 February 2024
theorem is due to Julius Richard Büchi, Calvin Elgot, and Boris Trakhtenbrot. Trakhtenbrot's theorem Courcelle's theorem Büchi, Julius Richard (1960)....
2 KB (206 words) - 14:38, 3 September 2024
Yamada's paper on real-time computations (1962). Somewhat earlier, Boris Trakhtenbrot (1956), a pioneer in the field from the USSR, studied another specific...
49 KB (6,717 words) - 21:56, 25 September 2024
bound. The theorem was proved independently by Boris Trakhtenbrot and Allan Borodin. Although Trakhtenbrot's derivation preceded Borodin's by several years...
5 KB (549 words) - 13:48, 15 January 2024
Tarski study closure algebras for S4 and intuitionistic logic. 1950 - Boris Trakhtenbrot proves that validity in all finite models (the finite-model version...
8 KB (948 words) - 18:00, 17 November 2023
Trachtenberg system of mental calculation Boris Trakhtenbrot, proved the Gap theorem, developed Trakhtenbrot's theorem Valentin Turchin, inventor of Refal...
94 KB (9,592 words) - 11:51, 17 August 2024
Jewish majority until World War II. Gary Bertini (born in Briceva) Boris Trakhtenbrot (born in Briceva) Mihail Șleahtițchi Results of Population and Housing...
5 KB (119 words) - 21:07, 31 December 2022
Trachtenberg system of mental calculation Boris Trakhtenbrot, proved the Gap theorem, developed Trakhtenbrot's theorem Valentin Turchin, inventor of Refal...
17 KB (1,662 words) - 04:41, 10 June 2024
and screenwriter. Arcadie Gherasim – Journalist (Vocea Basarabiei) Boris Trakhtenbrot – Israeli and Russian mathematician in mathematical logic, algorithms...
15 KB (1,208 words) - 07:12, 16 March 2024
combinatorics Boris Trakhtenbrot (1921–2016), mathematical logic Boaz Tsaban (born 1973), set theory and nonabelian cryptology Boris Tsirelson (1950–2020)...
180 KB (15,778 words) - 00:51, 27 September 2024
Frederick D. Tinsley, 76, American classical double bass player. Boris Trakhtenbrot, 95, Russian-Israeli mathematician. Amy van Singel, 66, American music...
146 KB (10,054 words) - 15:01, 8 September 2024
информации, Problemy Peredachi Informatsii). 9 (3): 115–116. (pdf) Boris A. Trakhtenbrot (1984). "A Survey of Russian Approaches to Perebor (Brute-Force...
8 KB (658 words) - 01:11, 20 April 2024
2013 Martin Dyer ICALP (Riga) 2012 Moshe Vardi ICALP (Warwick) 2011 Boris Trakhtenbrot ICALP (Zürich) 2010 Kurt Mehlhorn ICALP (Bordeaux) 2009 Gérard Huet...
9 KB (535 words) - 08:53, 19 March 2024
origin of observation." 1963 also saw the publication of a key work by Boris Trakhtenbrot, Algorithms and Automatic Computing Machines, which Kristian had cotranslated...
12 KB (1,301 words) - 19:19, 29 November 2023
meeting between Ludwig Wittgenstein and Sophia Yanovskaya (in Russian). Trakhtenbrot, B. A. (1997). "In memory of S. A. Yanovskaya (1896–1966) on the centenary...
7 KB (595 words) - 18:42, 23 August 2024
ISSN 2041-1723. PMID 24892994. Avivi, A; Ashur-Fabian, O; Joel, A; Trakhtenbrot, L; Adamsky, K; Goldstein, I; Amariglio, N; Rechavi, G; Nevo, E (16 October...
15 KB (1,757 words) - 21:28, 1 September 2024
(February 8, 2008). Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Springer Science & Business...
135 KB (14,411 words) - 01:20, 10 September 2024