Checking the Satisfiability of Formulas Represented in Disjunctive Normal Form in the Language L. I

ISSN： 1060-0396

Source： Cybernetics and Systems Analysis, Vol.41, Iss.4, 2005-07, pp. : 494-499

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

Checking the satisfiability of formulas represented in disjunctive normal form in the language L. II

By Kryvyj S. Chebotarev A.

Cybernetics and Systems Analysis, Vol. 41, Iss. 6, 2005-11 ,pp. : 800-807

Springer Publishing Company

Access to resources Recommend Favorite

Normal Singular Integral Operators with Cauchy Kernel on L ²

By Nakazi Takahiko Yamamoto Takanori

Integral Equations and Operator Theory, Vol. 78, Iss. 2, 2014-02 ,pp. : 233-248

Springer Publishing Company

Access to resources Recommend Favorite

Ultracontractivity and embedding into L ∞

By Bendikov A. Coulhon T. Saloff-Coste L.

Mathematische Annalen, Vol. 337, Iss. 4, 2007-04 ,pp. : 817-853

Springer Publishing Company

Access to resources Recommend Favorite

Semigroups Generated by Ordinary Differential Operators in L¹(I)^*

By Attalienti Antonio Campiti Michele

Positivity, Vol. 8, Iss. 1, 2004-03 ,pp. : 11-30

Springer Publishing Company

Access to resources Recommend Favorite

L p estimates for the biest I. The Walsh case

By Muscalu Camil

Mathematische Annalen, Vol. 329, Iss. 3, 2004-07 ,pp. : 401-426

Springer Publishing Company

Access to resources Recommend Favorite