<font face="Verdana"><em>R<sub>G</sub></em>-代数的子代数与广义重言式理论</font>

R_G-代数的子代数与广义重言式理论

李修清，魏海新

Subalgebras of R_G-algebra and theory of generalized tautology

LI Xiuqing，WEI Haixin

计算机工程与应用 . 2011, (29): 49 -51 .