OpenAlex | B. A. Trahtenbrot

B. A. Trahtenbrot

Author

Alternate name B. A. Trahtenbrot

H-index: 2

I10-index: 2

Works count: 3

Citations count: 101

Impossibility of an algorithm for the decision problem in finite classes

1963 · B. A. Trahtenbrot · Translations - American Mathematical Society/Translations

Finite automata and the logic of one-place predicates

1966 · B. A. Trahtenbrot · Translations - American Mathematical Society/Translations

The definition of finite set and the deductive incompleteness of the theory of sets

1964 · B. A. Trahtenbrot · Translations - American Mathematical Society/Translations