罗伯特·经理 多目标稳健路径问题变种的代数框架。 (英文) Zbl 1485.90143号 格拉斯。Mat.,III.系列。 55,编号143-176(2020). 审核人:罗曼·卡达(Plzeň) MSC公司:90立方厘米 90C29型 90立方厘米 05C38号 2016年60月 68兰特 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Manger},格拉斯。Mat.,III.系列。55,第1号,143--176(2020;Zbl 1485.90143) 全文: 内政部 链接
乔尔迪·罗卡·拉科斯塔纳;塞尔基德斯,杰苏斯;波利,马克 在基于评估的系统中找到解决方案的充分必要条件。 (英文) Zbl 1468.68205号 国际J近似推理 114, 51-83 (2019).MSC公司:68T20型 08A70号 2016年60月 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Roca-Lacostena}等人,《国际近似推理》114,51-83(2019;Zbl 1468.68205) 全文: 内政部 arXiv公司
赵世音;王寅;陈晓娟 (M_3(k)上的模代数结构。 (英文) Zbl 1416.16028号 对称 11,第2号,第178号论文,第14页(2019年).MSC公司:16S50型 2015年10月16日 PDF格式BibTeX公司 XML格式引用 \textit{S.Zhao}等人,Symmetry 11,No.2,论文编号178,14 p.(2019年;Zbl 1416.16028) 全文: 内政部
乔治·斯特鲁斯 关于带域的Kleene代数的表达能力。 (英文) Zbl 1347.68095号 信息处理。莱特。 116,第4期,284-288(2016).MSC公司:68号30 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{G.Struth},Inf.过程。莱特。116,第4号,284--288(2016;Zbl 1347.68095) 全文: 内政部 arXiv公司
哈维尔·埃斯帕尔扎;迈克尔·卢滕伯格;马克西米利安·施伦德 FPsolve解决方案:半环上不动点方程的通用求解器。 (英文) Zbl 1330.68353号 发现的国际期刊。计算。科学。 26,第7期,805-825(2015).MSC公司:68瓦30 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,国际期刊发现。计算。科学。26,第7号,805--825(2015;Zbl 1330.68353) 全文: 内政部
彼得·霍夫纳;伯恩哈德·莫勒 迪克斯特拉、弗洛伊德和沃沙尔将会见克莱恩。 (英文) Zbl 1259.68243号 正式Asp。计算。 24,第4-6号,459-476(2012).MSC公司:68瓦30 2016年60月 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{B.Möller},正式Asp。计算。24、编号4--6、459--476(2012;Zbl 1259.68243) 全文: 内政部 链接
沃尔特·古特曼 一般正确性的固定点。 (英文) Zbl 1216.68073号 J.日志。阿尔盖布。程序。 80,第6期,248-265(2011).MSC公司:第68页第19页 99年6月 2016年60月 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。阿尔盖布。程序。80,第6号,248--265(2011;Zbl 1216.68073) 全文: 内政部
哈维尔·埃斯帕尔扎;斯特凡·基弗;迈克尔·卢滕伯格 用于加速不动点计算的衍生树分析。 (英文) Zbl 1218.68102号 西奥。计算。科学。 412,第28号,3226-3241(2011).MSC公司:第68季度第65季度 2016年60月 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,Theor。计算。科学。412,第28号,3226--3241(2011;Zbl 1218.68102) 全文: 内政部
朱尔斯·德沙奈斯;乔治·斯特鲁斯 域半环的内部公理。 (英文) Zbl 1211.68242号 科学。计算。程序。 76,第3期,181-203(2011).MSC公司:68问题55 03B45号 03G25号 2016年60月 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}和\textit{G.Struth},科学。计算。程序。76,第3号,181--203(2011;Zbl 1211.68242) 全文: 内政部
朱尔斯·德沙奈斯;乔治·斯特鲁斯 近半环族的域公理。 (英文) Zbl 1170.68514号 Meseguer,José(编辑)等人,代数方法论和软件技术。2008年7月28日至31日在美国伊利诺伊州乌尔班纳举行的2008年AMAST第12届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79979-5/pbk)。计算机科学课堂讲稿5140330-345(2008)。MSC公司:60年第68季度 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}和\textit{G.Struth},莱克特。注释计算。科学。5140330-345(2008年;Zbl 1170.68514) 全文: 内政部
朱尔斯·德沙奈斯;乔治·斯特鲁斯 重温模态半环。 (英文) Zbl 1157.68026号 Audebaud,Philippe(编辑)等,《程序构造的数学》。2008年7月15日至18日,第九届国际会议,MPC 2008,法国马赛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70593-2/pbk)。计算机科学课堂讲稿5133,360-387(2008)。MSC公司:68号30 03B70号 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}和\textit{G.Struth},莱克特。注释计算。科学。5133,360-387(2008;Zbl 1157.68026) 全文: 内政部
彼得·霍夫纳;乔治·斯特鲁斯 幂等半环中的非终结性。 (英文) Zbl 1138.68461号 Berghammer,Rudolf(编辑)等人,《计算机科学中的关系和Kleene代数》。第十届计算机科学关系方法国际会议和第五届克莱恩代数应用国际会议,2008年4月7日至11日,德国弗劳恩沃思,RelMiCS/AKA 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78912-3/pbk)。计算机科学课堂讲稿4988,206-220(2008)。MSC公司:70年第68季度 68号30 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{G.Struth},莱克特。注释计算。科学。4988、206-220(2008年;Zbl 1138.68461) 全文: 内政部