Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A.V. Anisimov; Group languages; Cybernetics 7 (1971), 594–601.
J. Avenhaus, R.V. Book, C. Squier; On expressing commutativity by finite Church-Rosser presentations: a note on commutative monoids; RAIRO Inf. Théorique 18 (1984), 47–52.
J. Avenhaus, K. Madlener; On groups defined by monadic Thue systems; Coll. Math. Soc. János Bolyai: Algebra, Combinatorics and Logic in Computer Science 42 (1983), 63–71.
J. Avenhaus, K. Madlener, F. Otto; Groups presented by finite two-monadic Church-Rosser Thue systems; Trans. Amer. Math. Soc., to appear.
R.V. Book; Confluent and other types of Thue systems; J. Assoc. Comput. Mach. 29 (1982), 171–182.
R.V. Book; Thue systems as rewriting systems; in J.P. Jouannaud (ed.), Rewriting Techniques and Applications, Lect. Notes Comput. Sci. 202 (1985), 63–94.
R.V. Book, M. Jantzen, C. Wrathall; Monadic Thue systems; Theoret. Comput. Sci. 19 (1982), 231–251.
Y. Cochet; Church-Rosser congruences on free semigroups; Coll. Math. Soc. János Bolyai: Algebraic Theory of Semigroups 20 (1976), 51–60.
V. Diekert; Some remarks on Church-Rosser Thue presentations; in Proc. of STACS 87, Passau, Lect. Notes Comp. Sci. 247 (1987), 272–285.
M.J. Dunwoody; The accessibility of finitely presented groups; Inventiones Mathematicae 81 (1985), 449–457.
R.H. Gilman; Computations with rational subsets of confluent groups; Proceedings of EUROSAM 84, Lect. Notes Comput. Sci. 174 (1984), 207–212.
M. Greendlinger; Problem of conjugacy and coincidence with the anticenter in group theory; Siberian Math. J. 7 (1966), 626–640.
R.H. Haring-Smith; Groups and simple languages; Trans. Amer. Math. Soc. 279 (1983), 337–356.
M. Jantzen; Thue systems and the Church-Rosser property; Proceedings of MFCS 84, Lect. Notes Comput. Sci. 176 (1984), 80–95.
D. Kapur, P. Narendran; The Knuth-Bendix completion procedure and Thue systems; SIAM J. Comput. 14 (1985), 1052–1072.
K. Madlener, F. Otto; Commutativity in groups presented by finite Church-Rosser Thue systems; RAIRO Inf. Theorique, to appear.
W. Magnus, A. Karrass, D. Solitar; Combinatorial Group Theory; 2nd. rev. ed., Dover Publ., New York, 1976.
D.E. Muller, P.E. Schupp; Groups, the theory of ends, and context-free languages; J. Comput. System Sci. 26 (1983), 295–310.
C. O'Dunlaing; Infinite regular Thue systems; Theoret. Comput. Sci. 25 (1983), 171–192.
F. Otto; Elements of finite order for finite monadic Church-Rosser Thue systems; Trans. Amer. Math. Soc. 291 (1985), 629–637.
F. Otto; On deciding whether a monoid is a free monoid or is a group; Acta Inf. 23 (1986), 99–110.
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag
About this paper
Cite this paper
Madlener, K., Otto, F. (1988). On groups having finite monadic church-rosser presentations. In: Jürgensen, H., Lallement, G., Weinert, H.J. (eds) Semigroups Theory and Applications. Lecture Notes in Mathematics, vol 1320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0083435
Download citation
DOI: https://doi.org/10.1007/BFb0083435
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19347-0
Online ISBN: 978-3-540-39225-5
eBook Packages: Springer Book Archive