Crossref Citations
                  This article has been cited by the following publications. This list is generated based on data provided by Crossref.
                                
                                  1965.
                                  Formal Systems and Recursive Functions.
                                  
                                  
                                  
                                  Vol. 40, 
                                  Issue. , 
                                
                                    p. 
                                    272.
                                
                                
                        
                        
                        
                        
                                
                                  1968.
                                  Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966.
                                  
                                  
                                  
                                  Vol. 50, 
                                  Issue. , 
                                
                                    p. 
                                    37.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Yasuhara, Ann
                                  1974.
                                  Some Non‐Recursive Classes of Thue Systems With Solvable Word Problem.
                                  
                                  
                                  Mathematical Logic Quarterly, 
                                  Vol. 20, 
                                  Issue. 8-12, 
                                
                                    p. 
                                    121.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Ó'Dúnlaing, Colm
                                  1983.
                                  Undecidable questions related to Church-Rosser Thue systems.
                                  
                                  
                                  Theoretical Computer Science, 
                                  Vol. 23, 
                                  Issue. 3, 
                                
                                    p. 
                                    339.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Otto, Friedrich
                                  1985.
                                  Rewriting Techniques and Applications.
                                  
                                  
                                  
                                  Vol. 202, 
                                  Issue. , 
                                
                                    p. 
                                    95.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Otto, F.
                                  1986.
                                  On deciding whether a monoid is a free monoid or is a group.
                                  
                                  
                                  Acta Informatica, 
                                  Vol. 23, 
                                  Issue. 1, 
                                
                                    p. 
                                    99.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Otto, Friedrich
                                  1986.
                                  Church–Rosser Thue Systems that Present Free Monoids.
                                  
                                  
                                  SIAM Journal on Computing, 
                                  Vol. 15, 
                                  Issue. 3, 
                                
                                    p. 
                                    786.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Otto, Friedrich
                                  1986.
                                  On two problems related to cancellativity.
                                  
                                  
                                  Semigroup Forum, 
                                  Vol. 33, 
                                  Issue. 1, 
                                
                                    p. 
                                    331.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Bürckert, Hans-Jürgen
                                    
                                    Herold, Alexander
                                     and 
                                    Schmidt-Schauß, Manfred
                                  1987.
                                  Rewriting Techniques and Applications.
                                  
                                  
                                  
                                  Vol. 256, 
                                  Issue. , 
                                
                                    p. 
                                    204.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Narendran, Paliath
                                     and 
                                    Otto, Friedrich
                                  1988.
                                  Elements of finite order for finite weight-reducing and confluent thue systems.
                                  
                                  
                                  Acta Informatica, 
                                  Vol. 25, 
                                  Issue. 5, 
                                
                                    p. 
                                    573.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Narendran, Paliath
                                     and 
                                    Ó'Dúnlaing, Colm
                                  1989.
                                  Cancellativity in finitely presented semigroups.
                                  
                                  
                                  Journal of Symbolic Computation, 
                                  Vol. 7, 
                                  Issue. 5, 
                                
                                    p. 
                                    457.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Otto, Friedrich
                                  1989.
                                  Rewriting Techniques and Applications.
                                  
                                  
                                  
                                  Vol. 355, 
                                  Issue. , 
                                
                                    p. 
                                    359.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Bürckert, Hans-Jürgen
                                    
                                    Herold, Alexander
                                     and 
                                    Schmidt-Schauss, Manfred
                                  1989.
                                  On equational theories, unification, and (Un)decidability.
                                  
                                  
                                  Journal of Symbolic Computation, 
                                  Vol. 8, 
                                  Issue. 1-2, 
                                
                                    p. 
                                    3.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Narendran, Paliath
                                     and 
                                    Otto, Friedrich
                                  1989.
                                  Applied Algebra, Algebraic Algorithms and Error-Correcting Codes.
                                  
                                  
                                  
                                  Vol. 356, 
                                  Issue. , 
                                
                                    p. 
                                    341.
                                
                                
                        
                        
                        
                        
                                
                                    
                                    Narendran, Paliath
                                    
                                    Ó'Dúnlaing, Colm
                                     and 
                                    Otto, Friedrich
                                  1991.
                                  It is undecidable whether a finite special string-rewriting system presents a group.
                                  
                                  
                                  Discrete Mathematics, 
                                  Vol. 98, 
                                  Issue. 2, 
                                
                                    p. 
                                    153.
                                
                                
                        
                        
                        
                         
 
