乔治·斯特鲁斯 抽象抽象约简。 (英语) Zbl 1086.68068号 J.日志。阿尔盖布。程序。 66,第2期,239-270(2006).MSC公司:第68季度第42季度 03B35型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Struth},J.Log。阿尔盖布。程序。66,第2号,239-270(2006年;兹bl 1086.68068) 全文: 内政部
冈瑟·施密特 党派性。一: 嵌入关系代数。 (英语) Zbl 1086.68093号 J.日志。阿尔盖布。程序。 66,第2期,212-238(2006).MSC公司:68问题85 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{G.Schmidt},J.Log。阿尔盖布。程序。66,No.2,212--238(2006;Zbl 1086.68093) 全文: 内政部
李三江;李永明 关于补盘代数。 (英语) Zbl 1086.68133号 J.日志。阿尔盖布。程序。 66,第2期,195-211(2006).MSC公司:68层37 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Li}和\textit{Y.Li},J.Log。阿尔盖布。程序。66,第2号,195--211(2006;Zbl 1086.68133) 全文: 内政部
汉斯·雷伊 Kleene模块和线性语言。 (英语) Zbl 1086.68075号 J.日志。阿尔盖布。程序。 66,第2期,185-194(2006).MSC公司:65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Leiß},J.Log。阿尔盖布。程序。66,第2号,185--194(2006;Zbl 1086.68075) 全文: 内政部
马塞洛·F·弗里亚斯。;Lopez Pombo,Carlos G。 fork代数中一阶线性时序逻辑的可解释性。 (英语) Zbl 1086.68086号 J.日志。阿尔盖布。程序。 66,第2期,161-184(2006).MSC公司:60年第68季度 03B44号 03G25号 06E25年 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Frias}和\textit{C.G.López Pombo},J.Log。阿尔盖布。程序。66,No.2,161--184(2006;Zbl 1086.68086) 全文: 内政部
朱尔斯·德沙奈斯;伯恩哈德·莫勒;费卢兹·切尔 克莱恩在一个模态恶魔星下。 (英语) Zbl 1086.68080号 J.日志。阿尔盖布。程序。 66,第2期,127-160(2006).MSC公司:第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,J.Log。阿尔盖布。程序。66,第2号,127--160(2006;Zbl 1086.68080) 全文: 内政部 链接
鲁道夫·伯格哈默 不动点的关系代数计算及其应用。 (英语) Zbl 1086.68095号 J.日志。阿尔盖布。程序。 66,第2期,112-126(2006).MSC公司:68兰特 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer},J.Log。阿尔盖布。程序。66,No.2,112--126(2006;Zbl 1086.68095) 全文: 内政部
罗兰·巴克豪斯 正则代数应用于语言问题。 (英语) Zbl 1086.68069号 J.日志。阿尔盖布。程序。 66,第2期,71-111(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse},J.Log。阿尔盖布。程序。66,No.2,71--111(2006;Zbl 1086.68069) 全文: 内政部