Undecidable properties of monoids with word problem solvable in linear time. Part II- cross sections and homological and homotopical finiteness conditions

By Katsura M.   Kobayashi Y.   Otto F.  

Theoretical Computer Science, Vol. 301, Iss. 1, 2003-05 ,pp. : 79-101

Elsevier

Access to resources Recommend Favorite

A codicity undecidable problem in the plane

By Beauquier D.   Nivat M.  

Theoretical Computer Science, Vol. 303, Iss. 2, 2003-07 ,pp. : 417-430

Elsevier

Access to resources Recommend Favorite

The homomorphism problem for trace monoids

By Silva P.V.  

Theoretical Computer Science, Vol. 307, Iss. 1, 2003-09 ,pp. : 199-215

Elsevier

Access to resources Recommend Favorite

A finitely presented monoid which has solvable word problem but has no regular complete presentation

By Kobayashi Y.  

Theoretical Computer Science, Vol. 146, Iss. 1, 1995-07 ,pp. : 321-329

Elsevier

Access to resources Recommend Favorite

The Stability of Saturated Linear Dynamical Systems Is Undecidable

By Blondel V.D.   Bournez O.   Koiran P.   Tsitsiklis J.N.  

Journal of Computer and System Sciences, Vol. 62, Iss. 3, 2001-05 ,pp. : 442-462

Academic Press

Access to resources Recommend Favorite