Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

 
 

 

Context-free languages, groups, the theory of ends, second-order logic, tiling problems, cellular automata, and vector addition systems


Authors: David E. Muller and Paul E. Schupp
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
Full-text PDF

References | Similar Articles | Additional Information

References [Enhancements On Off] (What's this?)

  • 1. A. V. Anisimov, Group languages, Kibernetika 4 (1971), 18-24. MR 301981
  • 2. M. Hack, The equality problem for vector addition systems is undecidable, Theoret. Comput. Sci. 2 (1976), 77-96. MR 439610
  • 3. M. O. Rabin, Decidability of second-order theories and automata on infinite trees, Trans. Amer. Math. Soc. 141 (1969), 1-35. MR 246760
  • 4. J. Stallings, Group theory and three-dimensional manifolds, Yale Univ. Press, New Haven, Connecticut, 1971. MR 415622

Similar Articles

Retrieve articles in Bulletin of the American Mathematical Society with MSC (1980): 03D05, 20F10, 68F05, 03B25, 68D05

Retrieve articles in all journals with MSC (1980): 03D05, 20F10, 68F05, 03B25, 68D05


Additional Information

DOI: https://doi.org/10.1090/S0273-0979-1981-14904-1

American Mathematical Society