-
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...
- 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...
-
Trachtenberg system of
mental calculation Boris Trakhtenbrot,
proved the Gap theorem,
developed Trakhtenbrot's theorem Valentin Turchin,
inventor of Refal...
- logic,
finite model theory, and com****bility theory,
Trakhtenbrot's theorem (due to
Boris Trakhtenbrot)
states that the
problem of
validity in first-order...
- had
lectured on the
ideas in it for some
years before that time (see
Trakhtenbrot's survey),
though complete formal writing of the
results took
place after...
- 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...