The Subtyping Problem for Second-Order Types Is Undecidable

By Tiuryn J.   Urzyczyn P.  

Information and Computation, Vol. 179, Iss. 1, 2002-11 ,pp. : 1-18

Academic Press

Access to resources Recommend Favorite

A simple undecidable problem: the inclusion problem for finite substitutions on ab * c

By Karhumaki J.   Lisovik L.P.  

Information and Computation, Vol. 187, Iss. 1, 2003-11 ,pp. : 40-48

Elsevier

Access to resources Recommend Favorite

Groups with undecidable word problem and almost quadratic Dehn function

By Ol'shanskii A.Yu.   Sapir Mark V.  

Journal of Topology, Vol. 5, Iss. 4, 2012-12 ,pp. : 785-886

Oxford University Press

Access to resources Recommend Favorite

The theory of the degrees is undecidable

By Chong C.   Slaman T.  

Israel Journal of Mathematics, Vol. 178, Iss. 1, 2010-09 ,pp. : 229-252

Springer Publishing Company

Access to resources Recommend Favorite

Working with tasks for the learning of problem solving in maths teaching as an issue of the first teacher training phase

By Bruder Regina  

ZDM, Vol. 37, Iss. 5, 2005-10 ,pp. : 351-353

Springer Publishing Company

Access to resources Recommend Favorite