The Subtyping Problem for Second-Order Types Is Undecidable

ISSN： 0890-5401

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

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Game problem of “soft landing” for second-order systems

By Chikrii A. Belousov A.

Journal of Mathematical Sciences, Vol. 139, Iss. 5, 2006-12 ,pp. : 6997-7012

Springer Publishing Company

Access to resources Recommend Favorite

The Cauchy Problem for Second-Order Elliptic Systems on the Plane

By Arbuzov E.V.

Siberian Mathematical Journal, Vol. 44, Iss. 1, 2003-01 ,pp. : 1-16

Springer Publishing Company

Access to resources Recommend Favorite

On a Second-Order Differential Problem with Fractional Derivatives of Order Greater than One

By Tatar Nasser-eddine

Mathematical Modelling and Analysis, Vol. 18, Iss. 1, 2013-02 ,pp. : 53-65

Taylor & Francis Ltd

Access to resources Recommend Favorite

Steklov problem for a second-order ordinary differential equation with a continual derivative

By Efendiev B.

Differential Equations, Vol. 49, Iss. 4, 2013-04 ,pp. : 450-456

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

The Dirichlet problem for a Petrovskii elliptic system of second-order equations

By Khalilov Sh.

Differential Equations, Vol. 42, Iss. 3, 2006-03 ,pp. : 444-451

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite