修正的Kleene系统中子代数的广义重言式理论

修正的Kleene系统中子代数的广义重言式理论

魏海新

Theory of generalized tautology in sub-algebras of revised Kleene system

WEI Hai-xin

计算机工程与应用 . 2009, (22): 32 -33 . DOI: 10.3778/j.issn.1002-8331.2009.22.011