-
Boris (Boaz)
Abramovich Trakhtenbrot (Russian: Борис Авраамович Трахтенброт, Hebrew: בועז טרכטנברוט; 19
February 1921 – 19
September 2016) was a Russian-Israeli...
- Zabludoff, Ann; Arcavi, Iair; La M****a, Stephanie; Perets,
Hagai B.;
Trakhtenbrot, Benny; Zauderer, B. Ashley; Auchettl, Katie; Dai, Jane L.;
Decker French...
- 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...
- 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...
- Blecha, Laura; Mushotzky, Richard; Hung, Chao Ling; Veilleux, Sylvain;
Trakhtenbrot, Benny; Schawinski, Kevin; Stern, Daniel; Smith, Nathan; Li, Yanxia;...
- 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...
- The
finitary problem asks
whether it is true in all
finite models.
Trakhtenbrot's theorem shows that this is also undecidable. Some notations: S a t (...
- 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...
- 3847/1538-4357/aa5d5a. S2CID 67809219. Ananna,
Tonima Tasnim; Weigel, Anna K.;
Trakhtenbrot, Benny; Koss,
Michael J.; Urry, C. Megan; Ricci, Claudio; Hickox, Ryan...
