The emptiness problem for intersection types

E-ISSN： 1943-5886|64|3|1195-1215

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.64, Iss.3, 1999-09, pp. : 1195-1215

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

On Intersection Problem for Perfect Binary Codes

By Avgustinovich Sergey Heden Olof Solov’eva Faina

Designs, Codes and Cryptography, Vol. 39, Iss. 3, 2006-06 ,pp. : 317-322

Springer Publishing Company

Access to resources Recommend Favorite

Construction of various types of solutions for an elliptic problem

By Dancer E.N. Yan Shusen

Calculus of Variations and Partial Differential Equations, Vol. 20, Iss. 1, 2004-05 ,pp. : 93-118

Springer Publishing Company

Access to resources Recommend Favorite

A problem in the theory of constructive order types ¹

The Journal of Symbolic Logic, Vol. 35, Iss. 1, 1970-03 ,pp. : 119-121

Cambridge University Press

Access to resources Recommend Favorite

An unsolved problem in the theory of constructive order types

The Journal of Symbolic Logic, Vol. 33, Iss. 4, 1969-01 ,pp. : 565-567

Cambridge University Press

Access to resources Recommend Favorite

On the intersection of a Hermitian curve with a conic

By Donati Giorgio Durante Nicola

Designs, Codes and Cryptography, Vol. 57, Iss. 3, 2010-12 ,pp. : 347-360

Springer Publishing Company

Access to resources Recommend Favorite