On the properties of equidifferent RIM quantifier with generating function†

ISSN： 0308-1079

Source： International Journal of General Systems, Vol.34, Iss.5, 2005-10, pp. : 579-594

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 Generating Function Approach to the Edge Surface Area of the Arrangement Graphs

By Cheng Eddie Qiu Ke Shen Zhizhang

Computer Journal, Vol. 56, Iss. 7, 2013-07 ,pp. : 871-881

Oxford University Press

Access to resources Recommend Favorite

Statistical properties of the Moebius function

By Sinai Ya.

Automation and Remote Control, Vol. 74, Iss. 10, 2013-10 ,pp. : 1607-1613

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Linear Quantifier Elimination

By Nipkow Tobias

Journal of Automated Reasoning, Vol. 45, Iss. 2, 2010-08 ,pp. : 189-212

Springer Publishing Company

Access to resources Recommend Favorite

Simulation and Optimization by Quantifier Elimination

By Weispfenning V.

Journal of Symbolic Computation, Vol. 24, Iss. 2, 1997-08 ,pp. : 189-208

Academic Press

Access to resources Recommend Favorite

Testing Stability by Quantifier Elimination

By Hong H. Liska R. Steinberg S.

Journal of Symbolic Computation, Vol. 24, Iss. 2, 1997-08 ,pp. : 161-187

Academic Press

Access to resources Recommend Favorite