赫利亚·格拉;JoséFélix科斯塔 具有无限活性要求的过程。 (英语) Zbl 1510.68058号 J.日志。阿尔盖布。程序。 82,编号3-4,137-161(2013).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Guerra}和\textit{J.F.Costa},J.Log。阿尔盖布。程序。82,编号3--4,137-161(2013;Zbl 1510.68058) 全文: 内政部
鲁道夫·伯哈默 使用关系代数和RelView计算和可视化银行控制关系集。 (英语) Zbl 1278.91049号 J.日志。阿尔盖布。程序。 82,编号3-4,123-136(2013).MSC公司:91B14号机组 05C20号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer},J.Log。阿尔盖布。程序。82,编号3--4,123-136(2013;Zbl 1278.91049) 全文: 内政部
埃西克,Z。;W.Kuich。 自由归纳半代数。 (英语) Zbl 1286.68332号 J.日志。阿尔盖布。程序。 82,编号3-4,111-122(2013).MSC公司:70年第68季度 99年6月 08A99号 PDF格式BibTeX公司 XML格式引用 \textit{Z.esik}和\textit{W.Kuich},J.Log。阿尔盖布。程序。82,编号3--4,111-122(2013;Zbl 1286.68332) 全文: 内政部 arXiv公司