卢卡·埃特罗;安娜·英格尔夫斯多蒂;欧根·伊安·戈里亚克 幂等项和幂等一元运算符的SOS规则格式。 (英语) Zbl 1283.68200号 J.日志。阿尔盖布。程序。 83,第1号,64-80(2014).MSC公司:第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。程序。83,第1号,64--80(2014;Zbl 1283.68200) 全文: 内政部
直纪西田;德国维达尔 在术语重写中转换为尾部递归。 (英语) Zbl 1283.68128号 J.日志。阿尔盖布。程序。 83,第1号,53-63(2014).MSC公司:68号30 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}和\textit{G.Vidal},J.Log。阿尔盖布。程序。83,第1号,53--63(2014;Zbl 1283.68128) 全文: 内政部
加布里埃尔·阿兰达·洛佩斯;苏珊娜·尼娃;费尔南多·Sáenz-Pérez;詹姆·桑切斯·埃尔南德斯 扩展约束演绎数据库:理论与实现。 (英语) Zbl 1283.68145号 J.日志。阿尔盖布。程序。 83,第1期,20-52(2014).MSC公司:第68页,共15页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Aranda-López}等人,J.Log。阿尔盖布。程序。83,编号1,20-52(2014;兹bl 1283.68145) 全文: 内政部
贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel 为抽象概率自动机而结结巴巴。 (英语) Zbl 1283.68193号 J.日志。阿尔盖布。程序。 83,第1期,第1-19页(2014年).MSC公司:65年第68季度 03B45 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,J.Log。阿尔盖布。程序。83,第1号,第1-19号(2014;Zbl 1283.68193) 全文: 内政部
玛丽亚·阿尔普恩特;黛米斯·巴利斯;莫雷诺,法拉斯基;弗朗西斯科·弗雷奇纳;丹尼尔·罗梅罗 基于重写的XML存储库修复策略。 (英语) Zbl 1283.68130号 J.日志。阿尔盖布。程序。 82,第8期,326-352(2013).MSC公司:68第05页 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,J.Log。阿尔盖布。程序。82,第8号,326--352(2013;Zbl 1283.68130) 全文: 内政部 链接
大卫·英莎;乔塞普·席尔瓦;萨尔瓦多塔马利特 使用DOM树中的单词/树叶比率进行内容提取。 (英语) Zbl 1283.68149号 J.日志。阿尔盖布。程序。 82,第8期,311-325(2013).MSC公司:68第20页 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{D.Insa}等人,J.Log。阿尔盖布。程序。82,编号8,311-325(2013;兹bl 1283.68149) 全文: 内政部 arXiv公司
乔纳森·米乔克斯;伊利·纳伊姆;亚历山德罗·范特奇 用于安全web服务编排的会话类型。 (英语) Zbl 1283.68065号 J.日志。阿尔盖布。程序。 82,第8期,282-310(2013).MSC公司:68英里11 PDF格式BibTeX公司 XML格式引用 \textit{J.Michaux}等人,J.Log。阿尔盖布。程序。82,第8202--310号(2013年;兹bl 1283.68065) 全文: 内政部
马可·朱蒂 使用名称匹配和会话类型检查像素的算法类型。 (英语) Zbl 1283.68127号 J.日志。阿尔盖布。程序。 82,第8期,263-281(2013).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Giunti},J.Log。阿尔盖布。程序。82,第8号,263--281(2013;Zbl 1283.68127) 全文: 内政部
娜塔莉亚·比埃洛娃 对web浏览器中JavaScript安全策略及其实施机制的调查。 (英语) Zbl 1283.68063号 J.日志。阿尔盖布。程序。 第82243-262号(2013年).MSC公司:68英里11 PDF格式BibTeX公司 XML格式引用 \textit{N.Bielova},J.Log。阿尔盖布。程序。82、8号、243--262(2013;Zbl 1283.68063) 全文: 内政部
劳拉·科瓦奇(编辑);罗萨里奥·普格利泽(编辑);乔塞普·席尔瓦(编辑);弗朗西斯科·蒂齐(编辑) 关于web系统自动规范和验证的特别问题。 (英语) Zbl 1298.00311号 J.日志。阿尔盖布。程序。 82,第8期,241-242(2013).MSC公司:00B25型 68-06 68英里11 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kovács}(编辑)等人,J.Log。阿尔盖布。程序。82,编号82041-242(2013;兹bl 1298.00311) 全文: 内政部
克拉西米尔·安吉洛夫;约翰·卡米莱里。;杰拉尔多·施奈德 用受控自然语言编写的规范性文本的冲突分析框架。 (英语) Zbl 1283.68333号 J.日志。阿尔盖布。程序。 82,第5-7号,216-240(2013).MSC公司:68T50型 PDF格式BibTeX公司 XML格式引用 \textit{K.Angelov}等人,J.Log。阿尔盖布。程序。82,编号5--7,216--240(2013;Zbl 1283.68333) 全文: 内政部
阿德里安·弗兰卡兰扎;安德鲁·高奇;戈登·佩斯。 分布式系统合同监控。 (英语) Zbl 1283.68243号 J.日志。阿尔盖布。程序。 82,第5-7号,186-215(2013).MSC公司:68问题85 64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}等人,J.Log。阿尔盖布。程序。82、编号5--7、186-215(2013;Zbl 1283.68243) 全文: 内政部 arXiv公司 链接
托马斯·希尔德布兰特;拉加瓦·拉奥·穆卡马拉;斯莱亚特,蒂杰斯;弗朗西斯科·扎尼蒂 跨组织工作流的合同作为定时动态条件响应图。 (英语) Zbl 1283.68245号 J.日志。阿尔盖布。程序。 82,编号5-7,164-185(2013).MSC公司:68问题85 90B70型 PDF格式BibTeX公司 XML格式引用 \textit{T.Hildebrandt}等人,J.Log。阿尔盖布。程序。82、编号5--7、164-185(2013;Zbl 1283.68245) 全文: 内政部
埃内斯托·皮门特尔(编辑);瓦伦蒂安·瓦莱罗(编辑) 客座编辑前言。 (英语) Zbl 1298.00340号 J.日志。阿尔盖布。程序。 82,No.5-7,163(2013).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{E.Pimentel}(编辑)和textit{V.Valero}(主编),J.Log。阿尔盖布。程序。82,编号5--7163(2013;Zbl 1298.00340) 全文: 内政部
赫利亚·格拉;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。 自由归纳半代数。 (英语) 兹比尔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公司
段振华;汉娜·克劳代尔;马西耶·库特尼 复合Petri网的ITL语义。 (英语) Zbl 1283.68240号 J.日志。阿尔盖布。程序。 82,第2期,95-110(2013). 审核人:安娜·拉布拉(罗马) MSC公司:68问题85 60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Duan}等人,J.Log。阿尔盖布。程序。82,第2号,95-110(2013;Zbl 1283.68240) 全文: 内政部
瓦格伏尔盖,桑多尔 重写保持有限树语言的可识别性。 (英语) Zbl 1278.68127号 J.日志。阿尔盖布。程序。 82,第2期,71-94(2013). 审核人:马格努斯·斯坦比(图尔库) MSC公司:第68季度第42季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Vágvölgyi},J.Log。阿尔盖布。程序。82,No.2,71--94(2013;Zbl 1278.68127) 全文: 内政部
英戈·巴滕菲尔德 比较自由dcpo-代数构造的方法。 (英语) Zbl 1256.68115号 J.日志。阿尔盖布。程序。 82,第1期,53-70(2013).MSC公司:第68季度55 70年第68季度 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{I.Battenfeld},J.Log。阿尔盖布。程序。82,第1号,53--70(2013;Zbl 1256.68115) 全文: 内政部
Nadales Agut,D.E。;范·比克,D.A。;罗达,J.E。 混合系统组合交换格式的语法和语义。 (英语) 兹比尔1257.68101 J.日志。阿尔盖布。程序。 82,第1期,1-52页(2013年).MSC公司:第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Nadales Agut}等人,J.Log。阿尔盖布。程序。82,第1号,1-52(2013;Zbl 1257.68101) 全文: 内政部
迈克尔·凯特尔曼;肖恩·凯勒;何塞·梅塞盖尔 重写生产规则集的语义。 (英语) Zbl 1279.68188号 J.日志。阿尔盖布。程序。 81,编号7-8,929-956(2012).MSC公司:第68季度55 第68季度第42季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Katelman}等人,J.Log。阿尔盖布。程序。81,编号7--8929--956(2012;Zbl 1279.68188) 全文: 内政部
圣地亚哥埃斯科瓦尔;拉尔夫·萨西;何塞·梅塞盖尔 折叠变体变窄和最佳变体终止。 (英语) Zbl 1291.68217号 J.日志。阿尔盖布。程序。 81,编号7-8,898-928(2012). 审核人:Temur Kutsia(林茨) MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}等人,J.Log。阿尔盖布。程序。81,编号7--8898--928(2012;Zbl 1291.68217) 全文: 内政部
阿德里安·里斯科;阿尔贝托·维尔德乔;马蒂·奥利特,纳西索;拉斐尔·卡巴列罗 重写逻辑规范的声明性调试。 (英语) Zbl 1279.68220号 J.日志。阿尔盖布。程序。 81,编号7-8,851-897(2012).MSC公司:60年第68季度 03B70号 68号30 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Riesco}等人,J.Log。阿尔盖布。程序。81、编号7--8、851--897(2012;Zbl 1279.68220) 全文: 内政部
弗朗西斯科·杜兰;何塞·梅塞盖尔 条件有序重写理论的Church-Rosser和相干性质。 (英语) Zbl 1272.03139号 J.日志。阿尔盖布。程序。 81,编号7-8,816-850(2012).MSC公司:03B70号 68甲18 68甲19 第68季度第42季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer},J.Log。阿尔盖布。程序。81,编号7-8816-850(2012年;兹bl 1272.03139) 全文: 内政部
马蒂·奥利特,纳西索;米盖尔·帕洛米诺;阿尔贝托·维尔德乔 按主题重写逻辑参考书目:1990-2011。 (英语) Zbl 1262.03052号 J.日志。阿尔盖布。程序。 81,编号7-8,782-815(2012).MSC公司:03B70号 00年1月15日 2010年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}等人,J.Log。阿尔盖布。程序。81,编号7--8,782--815(2012;Zbl 1262.03052) 全文: 内政部
何塞·梅塞盖尔 二十年的逻辑重写。 (英语) 兹比尔1267.03043 J.日志。阿尔盖布。程序。 81,编号7-8,721-781(2012). 审核人:约翰·乔治·格兰斯特罗姆(苏黎世) MSC公司:03B70号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer},J.日志。阿尔盖布。程序。81,编号7--8,721--781(2012;Zbl 1267.03043) 全文: 内政部
乔治·斯特鲁斯 左欧米伽代数和正则方程。 (英语) Zbl 1279.68242号 J.日志。阿尔盖布。程序。 81,第6号,705-717(2012).MSC公司:70年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Struth},J.Log。阿尔盖布。程序。81,No.6,705--717(2012;Zbl 1279.68242) 全文: 内政部
穆申成;何塞·努诺·奥利维拉 从Galois连接进行编程。 (英语) Zbl 1257.68057号 J.日志。阿尔盖布。程序。 第681680-704号(2012年).MSC公司:68号30 2015年1月6日 18B10型 PDF格式BibTeX公司 XML格式引用 \textit{S.-C.Mu}和\textit{J.N.Oliveira},J.Log。阿尔盖布。程序。81、第6号、680--704(2012;Zbl 1257.68057) 全文: 内政部 链接
冈瑟·施密特 党派性。二: 构造关系代数。 (英语) Zbl 1255.03056号 J.日志。阿尔盖布。程序。 81,第6号,660-679(2012).MSC公司:03G15年 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Schmidt},J.Log。阿尔盖布。程序。81、6号、660--679(2012;Zbl 1255.03056) 全文: 内政部
沃尔特·古特曼 欧米加代数的类型定理。 (英语) Zbl 1279.68237号 J.日志。阿尔盖布。程序。 81,第6号,643-659(2012).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},J.Log(J·洛格)。阿尔盖布。程序。81,No.6,643--659(2012;Zbl 1279.68237) 全文: 内政部
鲁道夫·伯格哈默 棋盘独立性和控制问题的关系代数建模和求解。 (英语) Zbl 1280.68301号 J.日志。阿尔盖布。程序。 81,第6期,第625-642页(2012年).MSC公司:68瓦30 68卢比 91年46月 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer},J.Log。阿尔盖布。程序。81,第6号,625--642(2012;Zbl 1280.68301) 全文: 内政部
马蒂·奥利特,纳西索(编辑) 特刊:重写逻辑及其应用。根据2010年3月20日至21日在塞浦路斯帕福斯举行的第八届重写逻辑及其应用国际研讨会(WRLA)上的演示文稿选出的论文。 (英语) Zbl 1294.68023号 J.日志。阿尔盖布。程序。81,编号7-8,719-956(2012)。 MSC公司:68-06 03B70号 第68季度第42季度 00B25型 PDF格式BibTeX公司 XML格式
哈里·德·斯瓦特(编辑) 特刊:2011年5月30日至6月3日,荷兰鹿特丹,2011年RAMiCS第12届计算机科学中的关系和代数方法国际会议上的论文精选。 (英语) Zbl 1295.68037号 J.日志。阿尔盖布。程序。81,第6期,623-717(2012)。 MSC公司:68-06 08A70号 68号30 70年第68季度 68瓦30 00B25型 PDF格式BibTeX公司 XML格式
德波尔(Frank 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) 全文: 内政部
纳塔莉亚·斯克里普纽克;弗莱明·尼尔森;亨利克·皮利加德 IMC的静态分析。 (英语) Zbl 1243.68220号 J.日志。阿尔盖布。程序。 81,第4期,522-540(2012).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Skrypnyuk}等人,J.Log。阿尔盖布。程序。81,第4号,522--540(2012;Zbl 1243.68220) 全文: 内政部
拉尔斯·比克达尔;克里斯蒂安·斯特夫林;雅各布·塔姆斯堡 高阶有状态ADT的关系可实现性模型。 (英语) Zbl 1279.68227号 J.日志。阿尔盖布。程序。 81,第4期,491-521(2012).MSC公司:68问题65 第68季度55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}等人,J.Log。阿尔盖布。程序。81,第4号,491--521(2012;Zbl 1279.68227) 全文: 内政部
阿德里安·拉特尔;亚历山德罗·罗西尼;Yngve拉莫;乌韦·沃尔特 在MDE中规范和转换约束的正式方法。 (英语) Zbl 1246.68098号 J.日志。阿尔盖布。程序。 81,第4期,422-457(2012).MSC公司:68号30 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Rutle}等人,J.Log。阿尔盖布。程序。81、第4号、422--457(2012;Zbl 1246.68098) 全文: 内政部
Juhl,Line公司;Larsen,Kim G。;吉·斯尔巴 具有重量间隔的模态转换系统。 (英语) Zbl 1243.68215号 J.日志。阿尔盖布。程序。 81,第4期,408-421(2012).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Juhl}等人,J.Log。阿尔盖布。程序。81,第4号,408--421(2012;Zbl 1243.68215) 全文: 内政部
弗兰茨·沃塔瓦;米海·尼卡;尤利亚·莫拉鲁 基于程序约束模型和测试用例的自动调试。 (英语) Zbl 1246.68102号 J.日志。阿尔盖布。程序。 81,第4期,390-407(2012).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{F.Wotawa}等人,J.Log。阿尔盖布。程序。81,编号4390-407(2012年;兹bl 1246.68102) 全文: 内政部
Joost-Pieter卡托恩;丹尼尔·克林克;Leucker,马丁;维雷娜·沃尔夫 概率系统的三值抽象。 (英语) Zbl 1277.68219号 J.日志。阿尔盖布。程序。 81,第4期,356-389(2012).MSC公司:87年第68季度 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Katoen}等人,J.Log。阿尔盖布。程序。81,第4号,356--389(2012;Zbl 1277.68219) 全文: 内政部
Pun,Ka一。;马丁·斯特芬;沃尔克·斯托尔茨 行为效应系统对锁处理进行死锁检查。 (英语) Zbl 1246.68097号 J.日志。阿尔盖布。程序。 81,第3期,331-354(2012).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.I.Pun}等人,J.Log。阿尔盖布。程序。81、3号、331--354(2012;Zbl 1246.68097) 全文: 内政部
托马斯·佩塞利 逆向通用求解算法和逆向驱动。 (英语) Zbl 1246.68076号 J.日志。阿尔盖布。程序。 81,第3期,314-330(2012).MSC公司:68号01 68N20型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{T.Pécseli},J.Log。阿尔盖布。程序。81、3号、314--330(2012;Zbl 1246.68076) 全文: 内政部
鲁,齐;迈克尔·马德森;马丁·米拉塔;瑟伦·瑞文;乌里·法伦贝格;Larsen,Kim G。 基于max-plus代数的时间自动机可达性分析。 (英语) Zbl 1279.68214号 J.日志。阿尔盖布。程序。 81,第3号,298-313(2012).MSC公司:60年第68季度 65年第68季度 15A80型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{Q.Lu}等人,J.Log。阿尔盖布。程序。81,第3号,298--313(2012;Zbl 1279.68214) 全文: 内政部 哈尔
卡泽梅尼,法特梅;埃纳尔·布罗赫·约翰森;Owe、Olaf;伊兰科·巴拉辛厄姆 WSN节能分组协议的形式化建模和验证。 (英语) Zbl 1252.68041号 J.日志。阿尔盖布。程序。 81,第3期,284-297(2012).MSC公司:64岁以下 68个M12 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{F.Kazemeyni}等人,J.Log。阿尔盖布。程序。81、3号、284--297(2012;Zbl 1252.68041) 全文: 内政部
埃纳尔·布罗赫·约翰森;Mai Thoung Tran,Thi公司;Owe、Olaf;马丁·斯特芬 多线程Java的安全锁定,但有例外。 (英语) Zbl 1246.68077号 J.日志。阿尔盖布。程序。 81,第3期,第257-283页(2012年).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,J.Log。阿尔盖布。程序。81,第3号,257--283(2012;Zbl 1246.68077) 全文: 内政部
Din、Crystal Chang;约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf 分布式系统的可观察行为:并发对象的组件推理。 (英语) Zbl 1247.68184号 J.日志。阿尔盖布。程序。 81,第3期,227-256(2012).MSC公司:68问题85 68号30 64岁以下 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}等人,J.Log。阿尔盖布。程序。81、3号、227--256(2012;Zbl 1247.68184) 全文: 内政部
贝诺·德拉哈耶;Larsen,Kim G。;Legay、Axel;米克尔·L·佩德森。;安德烈·索夫斯基 区间马尔可夫链的一致性和精化。 (英语) Zbl 1247.68195号 J.日志。阿尔盖布。程序。 第3209-226号第81页(2012年).MSC公司:87年第68季度 2017年第68季度 60J10型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,J.Log。阿尔盖布。程序。81、3号、209--226(2012;Zbl 1247.68195) 全文: 内政部
克罗拉德,T。;Polonowski,E。 从formulæ-as类型的控制概念推导非局部跳跃的Floyd-Hoare逻辑。 (英语) 兹比尔1259.03044 J.日志。阿尔盖布。程序。 81,第3期,181-208(2012).MSC公司:03B70号 68甲18 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Crolard}和\textit{E.Polonowski},J.Log。阿尔盖布。程序。81,第3号,181--208(2012;Zbl 1259.03044) 全文: 内政部 arXiv公司
马格纳斯·约翰逊;比约恩·维克多;约阿希姆·帕罗 计算psi-calculi的强互模拟和弱互模拟。 (英语) Zbl 1277.68192号 J.日志。阿尔盖布。程序。 81,第3期,162-180(2012).MSC公司:68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Johansson}等人,J.Log。阿尔盖布。程序。81,第3号,162--180(2012;Zbl 1277.68192) 全文: 内政部
加尔达洛,Wided;Olfa Mraihi先生;阿斯玛·卢希奇;吉拉尼、拉米亚·拉贝德;哈立德·比塞斯;阿里·米莉 循环分析的通用概念。 (英语) 兹比尔1246.68094 J.日志。阿尔盖布。程序。 81,第5号,606-622(2012).MSC公司:68号30 68甲19 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{W.Ghardallou}等人,J.Log。阿尔盖布。程序。81,第5号,606--622(2012;Zbl 1246.68094) 全文: 内政部
卡蒂亚·瓦兹;卡拉·费雷拉 关于补偿正确性的分析。 (英语) Zbl 1246.68100号 J.日志。阿尔盖布。程序。 81,第5号,585-605(2012).MSC公司:68号30 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Vaz}和\textit{C.Ferreira},J.日志。阿尔盖布。程序。81,第5号,585--605(2012;Zbl 1246.68100) 全文: 内政部
爱德米拉·巴萨雷拉;费尔南多·奥雷贾斯;埃尔维拉·皮诺;玛丽莎·纳瓦罗 结构化正常逻辑程序的语义。 (英语) Zbl 1279.68190号 J.日志。阿尔盖布。程序。 81,第5期,559-584(2012).MSC公司:第68季度55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Pasarella}等人,J.Log。阿尔盖布。程序。81,第5号,559--584(2012;Zbl 1279.68190) 全文: 内政部 链接
M.R.汉森。(编辑) 特刊:第21届北欧编程理论研讨会(NWPT 2009)。2009年10月14日至16日,丹麦林格比,根据研讨会上的陈述选择论文。 (英语) Zbl 1246.68038号 J.日志。阿尔盖布。程序。81,第4期,355-557(2012)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
瓦尔登,M。(编辑);皮特,L。(编辑) 特刊:第22届北欧规划理论研讨会(NWPT 2010)。论文基于2010年11月10日至12日在芬兰图尔库举行的研讨会上的陈述。 (英语) Zbl 1246.68060号 J.日志。阿尔盖布。程序。81,第3期,162-354(2012)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
伊斯梅尔·罗德里格斯;格雷戈里奥·迪亚斯;巴勃罗·拉巴纳尔;何塞·安东尼奥·马特奥 一种集中式和分散式方法,用于自动派生符合编排的web服务系统。 (英语) Zbl 1236.68052号 J.日志。阿尔盖布。程序。 81,第2期,127-159(2012).MSC公司:68N99型 68英里11 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{I.Rodríguez}等人,J.Log。阿尔盖布。程序。81,编号2127-159(2012年;兹bl 1236.68052) 全文: 内政部
J.A.马汀。;马蒂内利,F。;皮门特尔,E。 安全适配器的合成。 (英语) Zbl 1236.68062号 J.日志。阿尔盖布。程序。 81,第2期,99-126(2012).MSC公司:68第25页 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Martín}等人,J.Log。阿尔盖布。程序。81,第2号,99-126(2012;Zbl 1236.68062) 全文: 内政部
汤姆·霍维特;费利克斯·克莱特克;尤根·兹利内斯库 多方合同的基于跟踪的模型。 (英语) 兹比尔1235.91116 J.日志。阿尔盖布。程序。 81,第2期,72-98(2012).MSC公司:91B40型 91B26型 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hvitved}等人,J.Log。阿尔盖布。程序。81,第2号,72--98(2012;Zbl 1235.91116) 全文: 内政部 链接
安东尼奥·布罗吉(编辑);杰拉尔多·施奈德(编辑) 部分特刊:面向合同的软件的形式语言和分析(FLACOS’10)。根据2010年9月17日至18日在意大利比萨举行的第四次研讨会上的演示文稿选出的论文。 (英语) Zbl 1255.68020号 J.日志。阿尔盖布。程序。81,第2期,71-126(2012)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
A.J.威伊斯。;M.Torabi Dashti 非穷举状态空间分析的扩展波束搜索。 (英语) Zbl 1269.68048号 J.日志。阿尔盖布。程序。 81,第1号,46-69(2012).MSC公司:68页第10页 68号30 60年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Wijs}和\textit{M.T.Dashti},J.Log。阿尔盖布。程序。81,第1号,46-69(2012;Zbl 1269.68048) 全文: 内政部
乌卡丘库·恩杜克武 生成概率B中定量安全规范的反例。 (英语) Zbl 1269.68047号 J.日志。阿尔盖布。程序。 81,第1期,26-45(2012).MSC公司:68号30 68甲15 87年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{U.Ndukwu},J.Log。阿尔盖布。程序。81、第1号、第26-45号(2012年;Zbl 1269.68047) 全文: 内政部
朱慧彪;杨帆;何继峰;乔纳森·鲍文(Jonathan P.Bowen)。;杰夫·桑德斯。;秦胜超 概率定时共享变量语言的操作语义和代数语义的链接。 (英语) 兹比尔1243.68208 J.日志。阿尔盖布。程序。 81,第1期,2-25(2012).MSC公司:第68季度55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人,J.Log。阿尔盖布。程序。81,第1号,第2--25号(2012;Zbl 1243.68208) 全文: 内政部
苏珊娜·安多瓦(编辑);安娜贝拉·麦克维尔(编辑);曼努埃尔·努涅斯(编辑) 特刊:2009年11月2日至6日在荷兰埃因霍温举行的2009年第二届正式方法世界大会(FM 2009)上,根据QFM 2009第一次定量形式方法研讨会上的演示文稿选出的论文。 (英语) Zbl 1282.03003号 J.日志。阿尔盖布。程序。81,第1期,69页。(2012年)。 MSC公司:03-06 03B70号 70年第68季度 00B25型 PDF格式BibTeX公司 XML格式
塞巴斯蒂安·达尼西奇;Robert M.Hierons。;迈克尔·劳伦斯。 描述最小语义的特征——提供谓词线性、自由、自由程序模式的片段。 (英语) Zbl 1231.68107号 J.日志。阿尔盖布。程序。 80,第8期,481-496(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Danicic}等人,J.Log。阿尔盖布。程序。80,第8号,481--496(2011;Zbl 1231.68107) 全文: 内政部 arXiv公司
巴纳赫,R。;杰斯克,C。 通过简洁的默认精简实现简单的功能工程。 (英语) 兹比尔1231.68106 J.日志。阿尔盖布。程序。 80,编号8453-480(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{C.Jeske},J.Log。阿尔盖布。程序。80,第8号,453--480(2011;Zbl 1231.68106) 全文: 内政部
杰里·斯旺 KBMAG程序中的效率问题。 (英语) Zbl 1227.68116号 J.日志。阿尔盖布。程序。 80,第8期,444-452(2011).MSC公司:68瓦30 20-04 2010年1月20日 第68季度第42季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信{J.Swan},J.Log。阿尔盖布。程序。80,第8号,444--452(2011;Zbl 1227.68116) 全文: 内政部
马克·伯吉斯;阿尔瓦·科赫 关于系统回滚和总计字段:系统更改的代数方法。 (英语) Zbl 1227.68073号 J.日志。阿尔盖布。程序。 80,第8期,427-443(2011).MSC公司:68问题65 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Burgess}和\textit{A.Couch},J.Log。阿尔盖布。程序。80,第8号,427--443(2011;Zbl 1227.68073) 全文: 内政部 arXiv公司
罗伯特·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) 全文: 内政部
加布里埃尔·乔巴努;马西耶·库特尼 进程代数和Petri网中的时间移动性。 (英语) Zbl 1230.68154号 J.日志。阿尔盖布。程序。 80,第7期,377-391(2011). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Ciobanu}和\textit{M.Koutny},J.Log。阿尔盖布。程序。80,第7号,377--391(2011;Zbl 1230.68154) 全文: 内政部
金索林 while程序和动作系统的完全正确性的范式。 (英语) Zbl 1221.68063号 J.日志。阿尔盖布。程序。 80,第6期,362-375(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.Solin},J.Log。阿尔盖布。程序。80,No.6,362--375(2011;Zbl 1221.68063) 全文: 内政部
冈瑟·施密特;鲁道夫·伯格哈默 联系人、闭包、拓扑以及行和列类型关系的链接。 (英语) Zbl 1231.03058号 J.日志。阿尔盖布。程序。 80,第6号,339-361(2011).MSC公司:03G15年 03E20型 2015年1月6日 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{G.Schmidt}和\textit{R.Berghammer},J.Log。阿尔盖布。程序。80,第6号,339--361(2011;Zbl 1231.03058) 全文: 内政部
沃尔夫拉姆·卡尔 分类:用于粘合结构的关系代数推理。 (英语) Zbl 1216.68137号 J.日志。阿尔盖布。程序。 80,第6号,297-338(2011).MSC公司:第68季度第42季度 03G15年 18B10型 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl},J.Log。阿尔盖布。程序。80,No.6,297--338(2011;Zbl 1216.68137) 全文: 内政部
你好,托尼;伯恩哈德·莫勒;乔治·斯特鲁斯;伊恩·卫尔曼 并发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) 全文: 内政部
丹·H·H。;Höfner,P。;莫勒,B。 代数分离逻辑。 (英语) Zbl 1260.03060号 J.日志。阿尔盖布。程序。 80,第6期,221-247(2011). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Dang}等人,J.Log。阿尔盖布。程序。80,第6号,221--247(2011;Zbl 1260.03060) 全文: 内政部
鲁道夫·伯格哈默(编辑);阿里·穆罕默德·贾瓦(编辑);伯恩哈德·莫勒(编辑) 特刊:计算机科学中的关系和Kleene代数。根据2009年11月1日至5日在卡塔尔多哈举行的第十一届计算机科学关系方法国际会议(RelMiCS 2009)和第六届克莱恩代数应用国际会议(AKA 2009)上的陈述,选择了修订论文。 (英语) Zbl 1230.03008号 J.日志。阿尔盖布。程序。80号,第6号,219-375页(2011年)。 MSC公司:03-06 03G25号 第68季度55 00B25型 PDF格式BibTeX公司 XML格式
伊梅内·本·哈菲德;苏珊娜·格拉芙;苏菲·昆顿 为具有优先级的系统构建分布式控制器。 (英语) Zbl 1217.68057号 J.日志。阿尔盖布。程序。 80,第3-5号,194-218(2011).MSC公司:68号30 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{I.Ben-Hafaiedh}等人,J.Log。阿尔盖布。程序。80,编号3--5,194-218(2011;Zbl 1217.68057) 全文: 内政部
安德烈亚斯·施罗德;塞巴斯蒂安·鲍尔。;马丁·威尔辛 基于合同的适应性方法。 (英语) Zbl 1213.68208号 J.日志。阿尔盖布。程序。 80,编号3-5,180-193(2011).MSC公司:68号30 03B44号 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Schroeder}等人,J.Log。阿尔盖布。程序。80,编号3-5180-193(2011年;兹bl 1213.68208) 全文: 内政部
J.A.马汀。;皮门特尔,E。 安全调整合同。 (英语) Zbl 1213.68615号 J.日志。阿尔盖布。程序。 80,编号3-5,154-179(2011).MSC公司:68层35 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Martín}和\textit{E.Pimentel},J.Log。阿尔盖布。程序。80,编号3--5,154-179(2011;Zbl 1213.68615) 全文: 内政部
保罗·罗索;圣地亚哥科雷亚;大卫·巴斯卡迪 法律文本中的段落检索。 (英语) 兹比尔1213.68668 J.日志。阿尔盖布。程序。 80,编号3-5,139-153(2011).MSC公司:68平方英寸10 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{P.Rosso}等人,J.Log。阿尔盖布。程序。80,编号3--5,139-153(2011;Zbl 1213.68668) 全文: 内政部 链接
佩斯,戈登(编辑);杰拉尔多·施奈德(编辑) 专题:面向合同的软件的形式语言和分析(FLACOS 09)。根据2009年9月24日至25日在西班牙托莱多举行的第三次研讨会上的演讲选择的论文。 (英语) Zbl 1218.68026号 J.日志。阿尔盖布。程序。80,No.3-5,137-218(2011)。 MSC公司:68-06 00B25型 68号30 60年第68季度 68层35 68单位35 PDF格式BibTeX公司 XML格式
法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 移动环境的分散图形实现。 (英语) Zbl 1207.68224号 J.日志。阿尔盖布。程序。 80,第2期,113-136(2011).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}和\textit{G.V.Monreale},J.Log。阿尔盖布。程序。80,第2号,113--136(2011;Zbl 1207.68224) 全文: 内政部
塞巴斯蒂安·达尼西奇;Robert M.Hierons。;迈克尔·劳伦斯。 一类线性、自由、近自由程序模式的子模式的强等价性的判定。 (英语) Zbl 1209.68136号 J.日志。阿尔盖布。程序。 80,第2期,92-112(2011).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Danicic}等人,J.Log。阿尔盖布。程序。80,第2号,92--112(2011;Zbl 1209.68136) 全文: 内政部 链接
罗宾·赫希;米库拉斯(Mikulás,Szabolcs) 可表示域代数的公理化。 (英语) 兹比尔1207.68207 J.日志。阿尔盖布。程序。 80,第2期,75-91(2011).MSC公司:60年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}和\textit{S.MikuláS},J.Log。阿尔盖布。程序。80,第2号,75--91(2011;Zbl 1207.68207) 全文: 内政部
尼基尔·迪内什;阿拉文·乔希;李因苏普;奥列格·索科尔斯基 发言权:访问控制和一致性的逻辑。 (英语) Zbl 1207.68115号 J.日志。阿尔盖布。程序。 80,第1号,50-74(2011).MSC公司:68M99型 03B45 PDF格式BibTeX公司 XML格式引用 \textit{N.Dinesh}等人,J.Log。阿尔盖布。程序。80,第1号,50--74(2011;Zbl 1207.68115) 全文: 内政部
米米利亚·坎布罗内罗;格雷戈里奥·迪亚斯;瓦伦蒂安·瓦莱罗;恩里克·马丁内斯 使用时间自动机验证web服务编排。 (英语) Zbl 1207.68082号 J.日志。阿尔盖布。程序。 80,编号1,25-49(2011).MSC公司:68英里11 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Cambronero}等人,J.Log。阿尔盖布。程序。80、第1号、第25-49号(2011;Zbl 1207.68082) 全文: 内政部
巴斯米,玛丽亚·格拉齐亚;乌戈·蒙塔纳里 服务组合中的QoS协商。 (英语) Zbl 1207.68220号 J.日志。阿尔盖布。程序。 80,第1期,13-24(2011).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Buscemi}和\textit{U.Montanari},J.Log。阿尔盖布。程序。80,编号1,13-24(2011年;Zbl 1207.68220) 全文: 内政部
安东尼奥·布罗吉 利用行为信息进行基于契约的服务发现和组合的潜在优势。 (英语) Zbl 1209.68133号 J.日志。阿尔盖布。程序。 80,第1期,3-12(2011).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Brogi},J.Log。阿尔盖布。程序。80,第1号,第3-12号(2011;Zbl 1209.68133) 全文: 内政部
佩斯,戈登(编辑);杰拉尔多·施奈德(编辑) 特刊:根据2008年11月27日至28日在马耳他举行的第二届正式语言和面向合同的软件分析研讨会(FLACOS 08)上的演讲选出的论文。 (英语) Zbl 1232.03005号 J.日志。阿尔盖布。程序。80,第1期,第74页。(2011). MSC公司:03-06 03B70号 65年第68季度 00B25型 PDF格式BibTeX公司 XML格式
沃尔夫拉姆·卡尔 具有域的有序类别中关系替换的确定。 (英语) Zbl 1203.18007号 J.日志。阿尔盖布。程序。 79,第8期,812-829(2010).MSC公司:18立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl},J.Log。阿尔盖布。程序。79,第8号,812--829(2010;Zbl 1203.18007) 全文: 内政部
彼得·霍夫纳;乔治·斯特鲁斯 非终结的代数概念:幂等半环中的Omega和散度。 (英语) Zbl 1205.68111号 J.日志。阿尔盖布。程序。 79,第8期,794-811(2010).MSC公司:68号01 68N99型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{G.Struth},J.Log。阿尔盖布。程序。79,第8号,794--811(2010;Zbl 1205.68111) 全文: 内政部
沃尔特·古特曼 功能动作的强制性抽象。 (英语) 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) 全文: 内政部
Jean-Lou De Carufel;朱尔斯·德沙奈斯 恶魔加细代数的抽象表示定理。 (英语) Zbl 1200.68070号 J.日志。阿尔盖布。程序。 79,第8期,740-767(2010).MSC公司:68号30 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.De Carufel}和\textit{J.Desharnais},J.Log。阿尔盖布。程序。79,第8号,740--767(2010;Zbl 1200.68070) 全文: 内政部
鲁道夫·伯格哈默;布列塔·凯登 特殊大学时间表问题的关系代数规范和解决方案。 (英语) Zbl 1198.90168号 J.日志。阿尔盖布。程序。 79,第8期,722-739(2010).MSC公司:90B35型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{B.Kehden},J.Log。阿尔盖布。程序。79,第8号,722--739(2010;Zbl 1198.90168) 全文: 内政部
菲利普·巴尔比亚尼;廷切夫、廷科 带关系的布尔逻辑。 (英语) Zbl 1206.03019号 J.日志。阿尔盖布。程序。 79,第8期,707-721(2010). 审核人:伯恩哈德·海尼曼(黑根) MSC公司:03B45 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{T.Tinchev},J.Log。阿尔盖布。程序。79,第8号,707--721(2010;Zbl 1206.03019) 全文: 内政部
瑟兰,克劳斯;乌里·法伦贝格;Larsen,Kim G。 加权过渡系统的定量分析。 (英语) Zbl 1204.68137号 J.日志。阿尔盖布。程序。 79,第7号,689-703(2010).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Thrane}等人,J.Log。阿尔盖布。程序。79,第7号,689--703(2010;Zbl 1204.68137) 全文: 内政部
费利克斯·舍恩哈默;伯恩哈德·格拉姆利希 描述并证明确定性条件项重写系统的操作终止性。 (英语) 兹比尔1206.68163 J.日志。阿尔盖布。程序。 79,第7期,659-688(2010).MSC公司:第68季度第42季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Schernhammer}和\textit{B.Gramlich},J.日志。阿尔盖布。程序。79,第7号,659--688(2010;Zbl 1206.68163) 全文: 内政部
亚历山德罗·罗西尼;阿德里安·拉特尔;Yngve拉莫;乌韦·沃尔特 MDE中版本控制的copy-modify-merge方法的形式化。 (英语) Zbl 1204.68075号 J.日志。阿尔盖布。程序。 79,第7期,636-658(2010).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Rossini}等人,J.日志。阿尔盖布。程序。79,编号7,636--658(2010;Zbl 1204.68075) 全文: 内政部
克里斯蒂安·普里萨卡里奥 同步Kleene代数。 (英语) Zbl 1204.68123号 J.日志。阿尔盖布。程序。 79,第7号,608-635(2010).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Prisacariu},J.Log。阿尔盖布。程序。79,第7号,608--635(2010;Zbl 1204.68123) 全文: 内政部
约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf;马丁·斯特芬 懒惰的行为子类型。 (英语) Zbl 1204.68072号 J.日志。阿尔盖布。程序。 79,第7期,578-607(2010).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人,J.Log。阿尔盖布。程序。79,第7号,578--607(2010;Zbl 1204.68072) 全文: 内政部 链接