-
Boris (Boaz)
Abramovich Trakhtenbrot (Russian: Борис Авраамович Трахтенброт, Hebrew: בועז טרכטנברוט; 19
February 1921 – 19
September 2016) was a Russian-Israeli...
- logic,
finite model theory, and com****bility theory,
Trakhtenbrot's theorem (due to
Boris Trakhtenbrot)
states that the
problem of
validity in first-order...
- 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...
- 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;...
- 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...
- 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...
- of
fundamental importance in
automata theory,
where the Büchi–Elgot–
Trakhtenbrot theorem gives a
logical characterization of the
regular languages. 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...
