Decidability of second-order theories and automata on infinite trees
- Michael O. Rabin
- 1969
- Trans. Am. Math. Soc.
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
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.