Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
|
   
Available in electronic format
Available in print format 		Bulletin of the American Mathematical Society
Bulletin of the American Mathematical Society
ISSN 1088-9485(e) ISSN 0273-0979(p)

     

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

Author(s): David E. Muller; Paul E. Schupp
Journal: Bull. Amer. Math. Soc. 4 (1981), 331-334.
MSC (1980): Primary 03D05, 20F10, 68F05; Secondary 03B25, 68D05
MathSciNet review: 609044
Retrieve article in: PDF

References | Similar articles | Additional information

References:

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: 10.1090/S0273-0979-1981-14904-1
PII: S 0273-0979(1981)14904-1




AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia