温特,迈克尔 数据库关系模型中的依赖关系。 (英语) Zbl 1355.68076号 J.日志。代数。方法计划。 第二部分第5期第85号,1095-1107(2016).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Winter},J.Log。代数。方法计划。85,第5号,第2部分,1095--1107(2016;Zbl 1355.68076) 全文: 内政部
塔尔莫乌斯塔卢 关于MonadPlus和非确定性的套曲。 (英语) Zbl 1355.68041号 J.日志。代数。方法计划。 第二部分第5期85号,1086-1094(2016).MSC公司:68甲18 18立方厘米20 20毫米50 PDF格式BibTeX公司 XML格式引用 \textit{T.Uustalu},J.日志。代数。方法计划。85,第5号,第2部分,1086--1094(2016;Zbl 1355.68041) 全文: 内政部
内维斯、雷纳托;路易斯·巴博萨。;德克·霍夫曼;马丁斯(Manuel A.Martins)。 作为计算效果的连续性。 (英语) Zbl 1355.68059号 J.日志。代数。方法计划。 第二部分第5期第85页,1057-1085(2016).MSC公司:68号30 18立方厘米20 PDF格式BibTeX公司 XML格式引用 \textit{R.Neves}等人,J.Log。代数。方法计划。85,第5号,第2部分,1057--1085(2016;Zbl 1355.68059) 全文: 内政部 arXiv公司
戴维·诺曼(David A.Naumann)。 朝向堆和命令式lambdas的模式。 (英语) Zbl 1355.68040号 J.日志。代数。方法计划。 第二部分第5期85号,1038-1056(2016).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Naumann},J.Log(J.洛格)。代数。方法计划。85,第5号,第2部分,1038--1056(2016;Zbl 1355.68040) 全文: 内政部 arXiv公司
亚历山大·马德拉;内维斯、雷纳托;马丁斯(Manuel A.Martins)。 生成多值动态逻辑的练习。 (英语) Zbl 1355.03023号 J.日志。代数。方法计划。 第二部分第5期第85号,1011-1037(2016).MSC公司:03B70号 03B50号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人,J.Log。代数。方法计划。85,第5号,第2部分,1011-1037(2016;兹bl 1355.03023) 全文: 内政部
马其顿,雨果·丹尼尔 高斯消去法不是最优的,再次讨论。 (英语) Zbl 1357.65035号 J.日志。代数。方法计划。 85,第5号,第2部分,999-1010(2016).MSC公司:65平方英尺 第15页第69页 65楼30 PDF格式BibTeX公司 XML格式引用 \textit{H.D.Macedo},J.Log。代数。方法计划。85,第5号,第2部分,999--1010(2016;Zbl 1357.65035) 全文: 内政部 链接
克利夫·琼斯。;伊恩·海斯。 可能的价值:探索并发的概念。 (英语) Zbl 1355.68043号 J.日志。代数。方法计划。 85,第5号,第2部分,972-984(2016).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones}和\textit{I.J.Hayes},J.Log。代数。方法计划。85,第5号,第2部分,972--984(2016;Zbl 1355.68043) 全文: 内政部 arXiv公司
彼得·霍夫纳;伯恩哈德·莫勒 扩展特征代数。 (英语) Zbl 1355.68054号 J.日志。代数。方法计划。 85,第5号,第2部分,952-971(2016).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{B.Möller},J.Log。代数。方法计划。85,第5号,第2部分,952--971(2016;Zbl 1355.68054) 全文: 内政部
拉尔夫·欣泽;丹·马斯登 用棒棒糖、叉子、杯子、帽子、蛇和速度计进行等式推理。 (英语) Zbl 1375.18027号 J.日志。代数。方法计划。 85,第5号,第2部分,931-951(2016).MSC公司:18立方厘米20 PDF格式BibTeX公司 XML格式引用 \textit{R.Hinze}和\textit{D.Marsden},J.Log。代数。方法计划。85,第5号,第2部分,931--951(2016;Zbl 1375.18027) 全文: 内政部
杰里米·吉本斯 果仁,简言之。 (英语) Zbl 1355.68179号 J.日志。代数。方法计划。 85,第5号,第2部分,921-930(2016).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Gibbons}、J.Log。代数。方法计划。85,第5号,第2部分,921--930(2016;Zbl 1355.68179) 全文: 内政部
费雷拉,乔昂·F·。;亚历山大·门德斯 通过矩阵代数计算Eisenstein-Stern和Stern-Brocot树的基于路径的属性。 (英语) Zbl 1366.05025号 J.日志。代数。方法计划。 85,第5号,第2部分,906-920(2016).MSC公司:05二氧化碳 11A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Ferreira}和\textit{A.Mendes},J.Log。代数。方法计划。85,第5号,第2部分,906--920(2016;Zbl 1366.05025) 全文: 内政部
蒋玉玺;穆申成 贪婪算法从关系规范的形式推导:教程。 (英语) Zbl 1355.68049号 J.日志。代数。方法计划。 85,第5号,第2部分,879-905(2016).MSC公司:68号30 68甲15 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.-H.Chiang}和\textit{S.-C.Mu},J.Log。代数。方法计划。85,第5号,第2部分,879--905(2016;Zbl 1355.68049) 全文: 内政部
雷蒙德·布特 为什么数学需要工程学。 (英语) Zbl 1360.00087号 J.日志。代数。方法计划。 85,第5号,第2部分,867-878(2016).MSC公司:00年3月35日 18甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Boute},J.日志。代数。方法计划。85,第5号,第2部分,867--878(2016;Zbl 1360.00087) 全文: 内政部 arXiv公司
Eerke A.Boiten。 多样性和裁决。 (英语) Zbl 1355.68042号 J.日志。代数。方法计划。 85,第5号,第2部分,860-866(2016).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Boiten},J.Log。代数。方法计划。85,第5号,第2部分,860--866(2016;Zbl 1355.68042) 全文: 内政部 arXiv公司
吉尔·巴特;克雷斯波、胡安·曼努埃尔;塞萨尔·库茨 产品程序和关系程序逻辑。 (英语) Zbl 1355.68047号 J.日志。代数。方法计划。 85,第5号,第2部分,847-859(2016).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Barthe}等人,J.Log。代数。方法计划。85,第5号,第2部分,847--859(2016;Zbl 1355.68047) 全文: 内政部
罗兰·巴克豪斯 因素理论和对立统一。 (英语) Zbl 1355.68180号 J.日志。代数。方法计划。 85,第5号,第2部分,824-846(2016).MSC公司:70年第68季度 2015年1月6日 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse},J.Log。代数。方法计划。85,第5号,第2部分,824--846(2016;Zbl 1355.68180) 全文: 内政部
路易斯·巴博萨;阿尔西诺·库尼亚;亚历山大·席尔瓦 向何塞·努诺·奥利维拉致敬。 (英语) Zbl 1352.01024号 J.日志。代数。方法计划。 85,第5号,第2部分,805(2016).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Barbosa}等人,J.Log。代数。方法计划。85,第2部分第5号,805(2016;Zbl 1352.01024) 全文: 内政部