The following pages link to B. A. Trakhtenbrot (Q1179706):
Displaying 22 items.
- Connectedness and synchronization (Q1179707) (← links)
- (Q1235697) (redirect page) (← links)
- Frequency computations (Q1235698) (← links)
- Introduction to the theory of finite automata. Translated from the Russian. Translation edited by J.C. Shepherdson (Q2394550) (← links)
- On the complexity of reduction algorithms in Novikov-Boone constructions (Q2544778) (← links)
- (Q2713174) (← links)
- (Q3204054) (← links)
- (Q3214824) (← links)
- (Q3226755) (← links)
- (Q3234159) (← links)
- (Q3245554) (← links)
- (Q3247437) (← links)
- (Q3253796) (← links)
- (Q3258128) (← links)
- (Q3260814) (← links)
- (Q3268317) (← links)
- (Q3289363) (← links)
- (Q3347263) (← links)
- From finite automata toward hybrid systems (Extended abstract) (Q5055953) (← links)
- The definition of finite set and the deductive incompleteness of the theory of sets (Q5527008) (← links)
- Finite automata and the logic of one-place predicates (Q5586356) (← links)
- Impossibility of an algorithm for the decision problem in finite classes (Q5731786) (← links)