瓦实提·加尔平(编辑);保罗·米拉佐(编辑);安娜·蒙雷利(编辑) 客座编辑前言。 (英语) Zbl 1435.68030号 J.日志。阿尔盖布。方法计划。 109,文章ID 100489,2 p.(2019).MSC公司:68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{V.Galpin}(编辑)等人,J.Log。阿尔盖布。方法计划。109,文章ID 100489,2 p.(2019;Zbl 1435.68030) 全文: 内政部
马西莫·巴托莱蒂(编辑);劳拉·博奇(编辑);卢多维奇·亨利奥(编辑);索菲亚·奈特(编辑) 2017年互动与并发体验专刊前言。 (英语) 兹伯利1434.68017 J.日志。阿尔盖布。方法计划。 109,文章ID 100488,2 p.(2019).MSC公司:68-06 68米14 68甲15 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}(编辑)等,J.Log。阿尔盖布。方法计划。109,文章ID 100488,2 p.(2019;Zbl 1434.68017) 全文: 内政部
叶希亚·阿卜杜·阿勒拉赫曼;雨果·托雷斯·维埃拉 一种用于电网运行控制的协调协议语言。 (英语) Zbl 1435.68332号 J.日志。阿尔盖布。方法计划。 109,文章ID 100487,32 p.(2019).MSC公司:68T42型 60年第68季度 68问题85 90B10型 93B70型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Abd Alrahman}和\textit{H.Torres Vieira},J.Log。阿尔盖布。方法计划。109,文章ID 100487,32 p.(2019;Zbl 1435.68332) 全文: 内政部
米尔科·维罗利;雅各布·比尔;费卢西奥·达米亚尼;乔治·奥德里托;罗伯特·卡萨迪;丹尼尔·皮亚尼尼 从分布式协调到场微积分和聚合计算。 (英语) Zbl 1435.68049号 J.日志。阿尔盖布。方法计划。 109,文章ID 100486,第29页(2019).MSC公司:68米14 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Viroli}等人,J.Log。阿尔盖布。方法计划。109,文章ID 100486,29 p.(2019;Zbl 1435.68049) 全文: 内政部 链接
亚历山大·巴尔塔格;尼娜·吉拉西姆祖克;艾比克·厄兹根;安娜·露西亚·巴尔加斯·桑多瓦尔;斯梅茨,索尼娅 学习理论的动态逻辑。 (英语) Zbl 1435.68310号 J.日志。阿尔盖布。方法计划。 109,文章ID 100485,第20页(2019).MSC公司:68T27型 03B42型 68问题32 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}等人,J.Log。阿尔盖布。方法计划。109,文章ID 100485,20 p.(2019;Zbl 1435.68310) 全文: 内政部 链接
巴巴拉·科尼格;马克西姆·奈德科恩;诺尔特,丹尼斯 CoReS:通过SAT/SMT解算器计算核心图的工具。 (英语) Zbl 1435.68174号 J.日志。阿尔盖布。方法计划。 109,文章ID 100484,14 p.(2019).MSC公司:第68季度第45季度 68兰特 68兰特 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{B.König}等人,J.Log。阿尔盖布。方法计划。109,文章ID 100484,14 p.(2019;Zbl 1435.68174) 全文: 内政部
吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);安德烈亚·科拉迪尼;莱拉·里贝罗 关于(mathcal{M})-粘合剂转化系统中冲突的本质和初始性。 (英语) Zbl 1435.68131号 J.日志。阿尔盖布。方法计划。 109,文章ID 100482,32 p.(2019).MSC公司:2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.G.Azzi}等人,J.Log。阿尔盖布。方法计划。109,文章ID 100482,32 p.(2019;Zbl 1435.68131) 全文: 内政部
Hans-Jörg Kreowski;格列泽戈兹·罗森贝格 通过反应系统中的图形浏览进行图形变换。 (英语) Zbl 1435.68135号 J.日志。阿尔盖布。方法计划。 109,文章ID 100481,22 p.(2019).MSC公司:2012年第68季度 2007年第68季度 第68季度第45季度 68问题80 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Krowski}和\textit{G.Rozenberg},J.Log。阿尔盖布。方法计划。109,文章ID 100481,22 p.(2019;Zbl 1435.68135) 全文: 内政部
罗布·范格拉贝克 确保分布式系统的活性属性:开放问题。 (英语) Zbl 1435.68216号 J.日志。阿尔盖布。方法计划。 109,文章ID 100480,19 p.(2019).MSC公司:68问题85 68米14 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},J.日志。阿尔盖布。方法计划。109,文章ID 100480,19 p.(2019;Zbl 1435.68216) 全文: 内政部 arXiv公司
尤恩·马奎尔;弗雷德里克·加瓦 BSP算法的公理化和特征化。 (英语) 兹比尔1435.68187 J.日志。阿尔盖布。方法计划。 109,文章ID 100479,43 p.(2019).MSC公司:68问题55 68号30 68周01 PDF格式BibTeX公司 XML格式引用 \textit{Y.Marquer}和\textit{F.Gava},J.Log。阿尔盖布。方法计划。109,文章ID 100479,43 p.(2019;Zbl 1435.68187) 全文: 内政部
佛朗哥·巴巴内拉;乌戈·德利古罗;罗尔夫·亨尼克 连接通信有限状态机的开放系统。 (英语) Zbl 1435.68211号 J.日志。阿尔盖布。方法计划。 109,文章ID 100476,34 p.(2019).MSC公司:68问题85 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,J.Log。阿尔盖布。方法计划。109,文章ID 100476,34 p.(2019;Zbl 1435.68211) 全文: 内政部