Kleene模相关论文
本文研究了几类*-半环及*-半环上的半模.主要结果如下：1.研究了UF-归纳*-半环.给出了UF-归纳*-半环的一些性质；证明了对于任意非负整......
Kleene代数在理论计算机科学中具有基础而特殊的重要性,Kleene模、布尔模和动态代数等与Kleene代数密切相关的半模结构在程序的语......
Kleene模及相关代数结构在程序推理中发挥着重要作用。作为对Kleene模等概念的推广，本文提出了＊-μ-半模的概念，并给出了＊-μ-半模成为......
