Author: Marriott K. Odersky M.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.160, Iss.1, 1996-06, pp. : 365-380
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Dominance constraints with Boolean connectives: a model-eliminative treatment
By Duchier D.
Theoretical Computer Science, Vol. 293, Iss. 2, 2003-02 ,pp. :
By Chen Xi
International Journal of Data Mining and Bioinformatics, Vol. 7, Iss. 3, 2013-04 ,pp. :
On boolean lowness and boolean highness
Theoretical Computer Science, Vol. 261, Iss. 2, 2001-06 ,pp. :