Context-free languages, groups, the theory of ends, second-order logic, tiling problems, cellular automata, and vector addition systems
HTML articles powered by AMS MathViewer
- by David E. Muller and Paul E. Schupp PDF
- Bull. Amer. Math. Soc. 4 (1981), 331-334
References
- A. V. Anīsīmov, The group languages, Kibernetika (Kiev) 4 (1971), 18–24 (Russian, with English summary). MR 301981
- Michel Hack, The equality problem for vector addition systems is undecidable, Theoret. Comput. Sci. 2 (1976), no. 1, 77–95. MR 439610, DOI 10.1016/0304-3975(76)90008-6
- Michael O. Rabin, Decidability of second-order theories and automata on infinite trees, Trans. Amer. Math. Soc. 141 (1969), 1–35. MR 246760, DOI 10.1090/S0002-9947-1969-0246760-1
- John Stallings, Group theory and three-dimensional manifolds, Yale Mathematical Monographs, vol. 4, Yale University Press, New Haven, Conn.-London, 1971. A James K. Whittemore Lecture in Mathematics given at Yale University, 1969. MR 0415622
Additional Information
- Journal: Bull. Amer. Math. Soc. 4 (1981), 331-334
- MSC (1980): Primary 03D05, 20F10, 68F05; Secondary 03B25, 68D05
- DOI: https://doi.org/10.1090/S0273-0979-1981-14904-1
- MathSciNet review: 609044