The following pages link to B. A. Trakhtenbrot (Q1179706):
Displaying 4 items.
- 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)
