Prime implicants of first order formulas via transversal clauses

ISSN： 0020-7160

Source： International Journal of Computer Mathematics, Vol.81, Iss.2, 2004-02, pp. : 157-167

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

A Computational Framework for Prime Implicants Identification in Noncoherent Dynamic Systems

RISK ANALYSIS, Vol. 35, Iss. 1, 2015-01 ,pp. : 142-156

John Wiley & Sons Inc

Access to resources Recommend Favorite

Formulas for Numerical Integration of First and Second Order Differential Equations in the Complex Plane

STUDIES IN APPLIED MATHEMATICS, Vol. 29, Iss. 1, 1950-04 ,pp. : 207-216

John Wiley & Sons Inc

Access to resources Recommend Favorite

Formulas for Numerical Integration of First and Second Order Differential Equations in the Complex Plane

STUDIES IN APPLIED MATHEMATICS, Vol. 97-1421, Iss. 1, 1950-04 ,pp. : 207-216

John Wiley & Sons Inc

Access to resources Recommend Favorite

The Resolution Method for One Reducible Class of Formulas of the First-Order Modal Logic S4

By Norgela S.

Lithuanian Mathematical Journal, Vol. 44, Iss. 4, 2004-10 ,pp. : 386-394

Springer Publishing Company

Access to resources Recommend Favorite

On Subgroups of Prime Order in a Finite Group

By Al-Sharo K.A.

Ukrainian Mathematical Journal, Vol. 54, Iss. 6, 2002-06 ,pp. : 915-923

Springer Publishing Company

Access to resources Recommend Favorite