Robert M.Hierons。;梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯 被动异步测试的扩展框架。 (英语) Zbl 1353.68052号 J.日志。阿尔盖布。方法计划。 86,第1号,408-424(2017).MSC公司:68纳米30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Hierons}等人,J.Log。阿尔盖布。方法计划。86,第1号,408--424(2017;Zbl 1353.68052) 全文: 内政部
乌埃尔、古雷;大卫·托曼 基于自动机的决策过程的逻辑编程方法。 (英语) Zbl 1353.68039号 J.日志。阿尔盖布。方法计划。 86,第1号,391-407(2017).MSC公司:68N17号 03B25号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Unel}和\textit{D.Toman},J.Log。阿尔盖布。方法计划。86,第1号,391--407(2017;Zbl 1353.68039) 全文: 内政部
马里奥·布拉维蒂;埃琳娜·贾奇诺;迈克尔·连哈特;Peter Y.H.Wong。 并发对象组的动态重新绑定:理论与实践。 (英语) Zbl 1353.68044号 J.日志。阿尔盖布。方法计划。 86,第1号,349-390(2017).MSC公司:68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}等人,J.Log。阿尔盖布。方法计划。86,第1号,349--390(2017;Zbl 1353.68044) 全文: 内政部
赫尔穆特·格罗内;贾尼斯·沃格特兰德 用依赖类型形式化语义双向化和扩展。 (英语) Zbl 1353.68042号 J.日志。阿尔盖布。方法计划。 86,第1号,319-348(2017).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.Grohne}和\textit{J.Voigtländer},J.Log。阿尔盖布。方法计划。86,编号1,319-348(2017;兹bl 1353.68042) 全文: 内政部
阿诺德·卡拉约尔;艾西克,佐尔坦 对有充分基础的不动点的方程性质的分析。 (英语) Zbl 1373.06004号 J.日志。阿尔盖布。方法计划。 86,第1号,308-318(2017).MSC公司:06B23号 第68季度55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Carayol}和\textit{Z.埃西克},J.Log。阿尔盖布。方法计划。86,第1号,308--318(2017;Zbl 1373.06004) 全文: 内政部 arXiv公司
罗敏霞;刘蓓 基于归一化Minkowski距离的区间值模糊推理三I算法的鲁棒性。 (英语) Zbl 1431.03042号 J.日志。阿尔盖布。方法计划。 86,第1号,298-307(2017).MSC公司:03B52号 PDF格式BibTeX公司 XML格式引用 \textit{M.Luo}和\textit{B.Liu},J.Log。阿尔盖布。方法计划。86,第1号,298--307(2017;Zbl 1431.03042) 全文: 内政部
卡米洛·罗查;何塞·梅塞盖尔;塞萨尔·穆尼奥斯 重写模块SMT和开放系统分析。 (英语) Zbl 1353.68156号 J.日志。阿尔盖布。方法计划。 86,第1号,269-297(2017).MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Rocha}等人,J.Log。阿尔盖布。方法计划。86,No.1,269--297(2017;Zbl 1353.68156) 全文: 内政部
萨尔瓦多卢卡斯;何塞·梅塞盖尔 证明条件项重写系统终止性质的依赖对。 (英语) Zbl 1353.68155号 J.日志。阿尔盖布。方法计划。 86,第1期,236-268(2017).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas}和\textit{J.Meseguer},J.Log。阿尔盖布。方法计划。86,编号1236-268(2017;兹bl 1353.68155) 全文: 内政部
弗朗西斯科·杜兰;安东尼奥·莫雷诺·德尔加多;费尔南多·奥雷贾斯;斯泰芬·兹夏勒 特定领域语言与行为的融合。 (英语) Zbl 1353.68028号 J.日志。阿尔盖布。方法计划。 86,第1号,208-235(2017).MSC公司:68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}等人,J.Log。阿尔盖布。方法计划。86,第1号,208--235(2017;Zbl 1353.68028) 全文: 内政部 链接
马西莫·巴托莱蒂;莫里齐奥·穆尔吉亚;阿尔切斯特·斯卡拉斯;罗伯托·祖尼诺 面向合同的系统的可验证抽象。 (英语) Zbl 1353.68194号 J.日志。阿尔盖布。方法计划。 86,第1期,159-207(2017).MSC公司:68问题85 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,J.Log。阿尔盖布。方法计划。86,第1号,159--207(2017;Zbl 1353.68194) 全文: 内政部
圣地亚哥埃斯科瓦尔(编辑) 重写逻辑及其应用(WRLA 2014的扩展精选论文)。 (英语) Zbl 1354.00093号 J.日志。阿尔盖布。方法计划。 86,第1期,157-158(2017).MSC公司:00B25型 68-06 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Escobar}(编辑),J.Log。阿尔盖布。方法计划。86,第1号,157--158(2017;Zbl 1354.00093) 全文: 内政部
Dokter,Kasper公司;宋世宗曼;法哈德·阿尔巴;西蒙,布利兹 合并与征服:关联BIP和Reo。 (英语) Zbl 1353.68201号 J.日志。阿尔盖布。方法计划。 第134-156号第86页(2017年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Dokter}等人,J.Log。阿尔盖布。方法计划。86,第1号,134--156(2017;Zbl 1353.68201) 全文: 内政部 链接
米歇尔·古兹曼;斯特凡·哈尔;萨利姆·珀西;卡米洛·鲁埃达;弗兰克·巴伦西亚。 在空间和挤压的代数中,信仰、知识、谎言和其他话语。 (英语) Zbl 1353.68203号 J.日志。阿尔盖布。方法计划。 86,第1期,107-133(2017).MSC公司:68问题85 03B42号 68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{M.Guzman}等人,J.Log。阿尔盖布。方法计划。86,第1号,107--133(2017;Zbl 1353.68203) 全文: 内政部
克莱门·奥伯特;爱荷华州克里斯特斯库 配置结构和可逆性中的上下文等效性。 (英语) Zbl 1353.68193号 J.日志。阿尔盖布。方法计划。 86,第1期,77-106(2017).MSC公司:68问题85 2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}和\textit{I.Cristescu},J.Log。阿尔盖布。方法计划。86,第1号,77--106(2017;Zbl 1353.68193) 全文: 内政部 arXiv公司
佛朗哥·巴巴内拉;范·贝克尔,斯特芬;乌戈·德利古罗 协调的会话符合性。 (英语) Zbl 1353.68023号 J.日志。阿尔盖布。方法计划。 86,第1号,30-76(2017).MSC公司:64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,J.Log。阿尔盖布。方法计划。86、1号、30--76(2017;Zbl 1353.68023) 全文: 内政部 arXiv公司
伊万·拉内斯(编辑);阿尔贝托·卢什·拉富恩特(编辑);索菲亚·奈特(编辑);雨果·托雷斯·维埃拉(编辑) 2015年交互与并发体验专刊前言。 (英语) Zbl 1354.00101号 J.日志。阿尔盖布。方法计划。 86,第1、1号(2017).MSC公司:00B25型 68-06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}(编辑)等,J.Log。阿尔盖布。方法计划。86,第1、1号(2017;Zbl 1354.00101) 全文: 内政部
阿纳斯塔西亚·马夫里杜;爱德华·巴拉诺夫;西蒙·布利兹;约瑟夫·西法基斯 配置逻辑:建模架构风格。 (英语) Zbl 1353.68055号 J.日志。阿尔盖布。方法计划。 86,第1期,2-29(2017).MSC公司:68纳米30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Mavridou}等人,J.Log。阿尔盖布。方法计划。86,第1号,第2--29号(2017;Zbl 1353.68055) 全文: 内政部