×

兹马思-数学第一资源

有限余代数多胞格和多格。(英语) Zbl 1312.06001号
小结:在本文中,我们继续多晶格结构的聚簇化。具体地说,我们引入了有限多重(半)格概念的一个余代数刻画,它是在计算机科学的几个领域中自然出现的半格概念的推广,并提供了处理非决定论的可能性。

理学硕士:
06A12号 半格
06B75型 格的推广
08A70型 泛代数在计算机科学中的应用
软件:
椰林
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Arbab,F.;Baier,C.;de Boer,F.S.;Rutten,J.J.M.M.,定时元件连接器的模型和时序逻辑,(),198-207
[2] 贝纳多,M.,《施赖尔酒宴的部分或部分和时间组曲》。一、 乔奥斯洛瓦克。垫子。第4、79、105-129页,(1954年)·Zbl 0056.04602
[3] Cabrera,I.P.;Cordero,P.;Gutiérrez,G.;Martínez,J.;Ojeda Aciego,M.,《对非决定论的一种整合方法:对多重格的应用》,Inform。科学,1804323-4335,(2010年)·Zbl 1222.06004号
[四] 《模态逻辑导论》(1980),剑桥大学出版社·Zbl 0431.03009
[5] 科克,B.;巴甫洛维奇,D.,《无和量子测量》,第559-596页,(第16章)·Zbl 1139.81307
[6] Cordero,P.;Gutiérrez,G.;Martínez,J.;de Guzmán,I.P.,自动定理证明器的新代数工具,Ann。数学。人工制品。国际,42,4369-398,(2004年)·Zbl 1095.68110
[7] Corsini,P.;Leoreanu,V.,《超结构理论的应用》(2003),Kluwer·Zbl 1027.20051
[8] Damásio,C.V.;Medina,J.;Ojeda Aciego,M.,《排序多伴随逻辑程序:终止结果和应用》,Lect。计算机笔记。科学,3229252-265,(2004)·Zbl 1111.68379
[9] 丹尼斯,L.A.;Bundy,A.;Green,I.,《有效地利用失败来为不同的证明尝试中的共同推理产生证据》,Ann。数学。人工制品。国际期刊,29,1-4,99-138,(2000年)·Zbl 1001.68128号
[10] Erdo˝s,P.L.;Sziklai,P.;Torney,D.C.,有限词偏序集,电子。J、 联合,8,2,10,(2001),(电子)·Zbl 0994.06002
[11] Goguen,J.,L-模糊集,J.数学。肛门。申请书,18145-174,(1967年)·Zbl 0145.24404
[12] 《一般格点理论》(1998),Birkhäuser·Zbl 0385.06015
[13] 《多重格的公理化刻画,离散数学》,33,1,99-101,(1981)·Zbl 0447.06005
[14] 雅各布,B.,对象与类,共代数,(),第83-103页
[15] Jacobs,B.,通过Galois代数的余代数的时间逻辑,数学。结构。计算机。科学,12,6,875-903,(2002)·Zbl 1030.03017
[16] Jacobs,B.;Rutten,J.J.M.M.,(co)代数和(co)归纳法教程,Bull。欧元。理论协会。计算机。科学,62222-259,(1997)·Zbl 0880.68070
[17] Kato,R.;Watanabe,O.,“子字符串搜索和使用因子oracles的重复搜索,通知”。过程。利特,93,6,269-274,(2005年)·Zbl 1173.68466
[18] Kurz,A.,用模态逻辑描述余代数,理论。计算机。科学,260,1-2,119-138,(2001)·Zbl 0974.68034
[19] Martínez,J.;Gutiérrez,G.;de Guzmán,I.P.;Cordero,P.,《通过非确定性算子对格的推广》,离散数学,295,1-3,107-141,(2005)·Zbl 1085.06005
[20] Medina,J.;Ojeda Aciego,M.;Ruiz Calviño,J.,《通过多重格进行模糊逻辑编程》,模糊集系统,158,6674-688,(2007)·Zbl 1111.68016
[21] Medina,J.;Ojeda Aciego,M.;Vojtáš,P.,《具有连续语义的多伴随逻辑程序设计》,Lect。注释人工制品。国际期刊,2173351-364,(2001)·Zbl 1007.68023
[22] Medina,J.;Ojeda Aciego,M.;Vojtáš,P.,《基于相似性的统一:多伴随方法》,模糊集系统,146,1,43-62,(2004)·Zbl 1073.68026
[23] Middendorf,M.;Manlove,D.F.,《组合超子串和超子序列问题》,Theoret。计算机。科学,320,2-3,247-267,(2004年)
[24] 莫斯,L.S.,煤炭逻辑,安。纯应用程序。逻辑,96,1-3,277-317,(1999)·Zbl 0969.03026
[25] Palmigiano,A.,《积极模态逻辑的整合观点》,Theoret。计算机。科学,327,1-2,175-195,(2004年)·Zbl 1068.03017
[26] Porter,T.,《从范畴角度解释多智能体系统的系统和克里普克模型》,Theoret。计算机。科学,323,1-3,235-266,(2004年)·Zbl 1078.68146
[27] Reichel,H.,《基于终端协代数的对象语义方法》,数学。结构。计算机。科学,5,2,129-152,(1995)·Zbl 0854.18006
[28] Rounds,W.C.;Zhang,G.-Q.,《代数域中的小句逻辑和逻辑程序设计》,Inform。计算机,171,2183-200,(2001)·Zbl 1005.68094
[29] Rudeanu,S.;Vaida,D.,《信息学中的多重格:介绍性示例》,Revista de logica,1,43,(2009)
[30] Rutten,J.J.M.M.,普适余代数:系统理论,理论。计算机。科学,249,1,3-80,(2000)·Zbl 0951.68038
[31] 五十、 施罗德,D.帕丁森,描述逻辑与模糊概率,载:国际人工智能联席会议论文集,2011年,第1075-1080页。
[32] 索洛维约夫,S.A.,范畴集论(jcpos),模糊集系统,157,3,319-470,(2006)·Zbl 1081.18007号
[33] Tian,J.;Li,B.-L.,遗传遗传的煤系结构,数学。比奥西。工程学,1,2,243-266,(2004年)·Zbl 1061.17027号
[34] Vaida,D.,《与过程语义相关的一些序性质的注记》,Fundamenta informaticae,73,1-2,307-319,(2006)·Zbl 1102.68078
[35] 《模糊逻辑规划》,模糊集系统,124,361-370,(2001)·Zbl 1015.68036
[36] Wegner,P.;Goldin,D.,《有限计算代理的共同归纳模型》,电子。理论笔记。计算机。科学,19,21,(1999),(电子)·Zbl 0918.68023
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。