弗朗西斯科·杜兰;何塞·梅塞盖尔 条件有序重写理论的Church-Rosser和相干性质。 (英语) Zbl 1272.03139号 J.日志。阿尔盖布。程序。 81,编号7-8,816-850(2012).MSC公司:03B70号 68甲18 68甲19 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer},J.Log。阿尔盖布。程序。81,编号7--8816--850(2012;Zbl 1272.03139) 全文: 内政部
德波尔,弗兰克·S。;伊莫·格雷布;马丁·斯特芬 活动对象的终止检测。 (英语) Zbl 1243.68221号 J.日志。阿尔盖布。程序。 81,第4期,541-557(2012).MSC公司:68问题85 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人,J.Log。阿尔盖布。程序。81,第4号,541--557(2012;Zbl 1243.68221) 全文: 内政部
加尔达洛,Wided;奥尔法·姆拉伊;阿斯玛·卢希奇;吉拉尼、拉米亚·拉贝德;哈立德·比塞斯;阿里·米莉 循环分析的通用概念。 (英语) Zbl 1246.68094号 J.日志。阿尔盖布。程序。 81,第5期,606-622(2012).MSC公司:68号30 68甲19 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.Ghardallou}等人,J.日志。阿尔盖布。程序。81,第5号,606--622(2012;Zbl 1246.68094) 全文: 内政部
罗伯特·J·科尔文。;伊恩·海耶斯。 通过上下文相关行为的结构操作语义。 (英语) Zbl 1223.68026号 J.日志。阿尔盖布。程序。 80,第7期,392-426(2011).MSC公司:68甲15 68问题55 68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin}和\textit{I.J.Hayes},J.Log。阿尔盖布。程序。80,第7号,392--426(2011;Zbl 1223.68026) 全文: 内政部
你好,托尼;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 并发Kleene代数及其基础。 (英语) Zbl 1278.68176号 J.日志。阿尔盖布。程序。 80,第6期,266-296(2011).MSC公司:60年第68季度 68甲19 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoare}等人,J.Log。阿尔盖布。程序。80,No.6,266--296(2011;Zbl 1278.68176) 全文: 内政部 链接
沃尔特·古特曼 一般正确性的固定点。 (英语) 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 1205.68115号 J.日志。阿尔盖布。程序。 79,第8期,768-793(2010).MSC公司:68甲19 68第05页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。阿尔盖布。程序。79,第8号,768--793(2010;Zbl 1205.68115) 全文: 内政部
伊娃·伯罗斯;马格尼·哈夫雷恩 一种与硬件无关的并行编程模型。 (英语) Zbl 1187.68133号 J.日志。阿尔盖布。程序。 78,第7号,519-538(2009).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.Burrows}和\textit{M.Haveraaen},J.Log。阿尔盖布。程序。78,编号7,519--538(2009;Zbl 1187.68133) 全文: 内政部
艾丽卡·阿尔布拉汉姆;伊莫·格雷布;安德烈亚斯·格吕纳;马丁·斯特芬 具有未来和承诺的面向对象语言的行为接口描述。 (英语) Zbl 1187.68130号 J.日志。阿尔盖布。程序。 78,第7期,491-518(2009).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人,J.Log。阿尔盖布。程序。78,第7号,491--518(2009;Zbl 1187.68130) 全文: 内政部
埃纳尔·布罗赫·约翰森;Yu,Ingrid Chieh女士 异步方法调用的向后类型分析。 (英语) Zbl 1151.68006号 J.日志。阿尔盖布。程序。 77,编号1-2,40-59(2008).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}和\textit{I.C.Yu},J.Log。阿尔盖布。程序。77,编号1--2,40-59(2008;Zbl 1151.68006) 全文: 内政部
安娜·阿尔梅达,马托斯;杰拉德·布多尔;伊利亚州卡斯特拉尼 键入反应式程序的无干扰。 (英语) Zbl 1119.68056号 J.日志。阿尔盖布。程序。 72,第2期,124-156(2007).MSC公司:68N99型 68N17号 68问题85 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Matos}等人,J.Log。阿尔盖布。程序。72,第2号,124--156(2007;Zbl 1119.68056) 全文: 内政部
罗伯特·阿马迪奥(Roberto M.Amadio)。 SL同步语言,重温。 (英语) Zbl 1106.68016号 J.日志。阿尔盖布。程序。 70,第2期,121-150(2007).MSC公司:68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Amadio},J.Log。阿尔盖布。程序。70,第2号,121--150(2007;Zbl 1106.68016) 全文: 内政部 哈尔
J.A.伯格斯特拉。;我·贝斯克。 分子动力学。 (英语) Zbl 1008.68033号 J.日志。阿尔盖布。程序。 51,第2期,193-214(2002).MSC公司:68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke},J.Log。阿尔盖布。程序。51,第2号,193--214(2002;Zbl 1008.68033) 全文: 内政部