-
Boris (Boaz)
Abramovich Trakhtenbrot (Russian: Борис Авраамович Трахтенброт, Hebrew: בועז טרכטנברוט; 19
February 1921 – 19
September 2016) was a Russian-Israeli...
- In
formal language theory, the Büchi–Elgot–
Trakhtenbrot theorem states that a
language is
regular if and only if it can be
defined in
monadic second-order...
- logic,
finite model theory, and com****bility theory,
Trakhtenbrot's theorem (due to
Boris Trakhtenbrot)
states that the
problem of
validity in first-order...
- com****tional
complexity theory, the Gap Theorem, also
known as the Borodin–
Trakhtenbrot Gap Theorem, is a
major theorem about the
complexity of com****ble functions...
- Zabludoff, Ann; Arcavi, Iair; La M****a, Stephanie; Perets,
Hagai B.;
Trakhtenbrot, Benny; Zauderer, B. Ashley; Auchettl, Katie; Dai, Jane L.;
Decker French...
- Blecha, Laura; Mushotzky, Richard; Hung, Chao Ling; Veilleux, Sylvain;
Trakhtenbrot, Benny; Schawinski, Kevin; Stern, Daniel; Smith, Nathan; Li, Yanxia;...
- Yamada's
paper on real-time com****tions (1962).
Somewhat earlier,
Boris Trakhtenbrot (1956), a
pioneer in the
field from the USSR,
studied another specific...
- symbols, or one
function symbol of
arity no less than 2,
established by
Trakhtenbrot in 1953. The first-order
theory of the
natural numbers with addition...
- Lachover,
Amnon Naamad, Amir Pnueli,
Michal Politi, Rivi Sherman, Mark
Trakhtenbrot, Aron
Trauring 2006
Eiffel Bertrand Meyer 2005 The Boyer-Moore Theorem...
- 2008).
Pillars of
Computer Science:
Essays Dedicated to
Boris (Boaz)
Trakhtenbrot on the
Occasion of His 85th Birthday.
Springer Science &
Business Media...