Decidability of second-order theories and automata on infinite trees
- Michael O. Rabin
- 1969
- Trans. Am. Math. Soc.
Publications
Date
Featured collections
Popular topics
24 results at Trans. Am. Math. Soc.
Uniformly reflexive structures: on the nature of gÖdelizations and relative computability
- Eric G. Wagner
- 1969
- Trans. Am. Math. Soc.
Some asymptotic formulas for wiener integrals
- M. Schilder
- 1966
- Trans. Am. Math. Soc.
martingales in a σ-finite measure space indexed by directed sets
- Y.S. Chow
- 1960
- Trans. Am. Math. Soc.