￡-Linden baum代数中的×滤子 (2011年)

【文件属性】：

文件名称：￡-Linden baum代数中的×滤子 (2011年)

文件大小：456KB

文件格式：PDF

更新时间：2024-06-06 21:02:14

自然科学 论文

利用F(S)中×运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)