克里斯托弗·布朗;埃文·帕特森;汉克斯,泰勒;詹姆斯·费尔班克斯 计算类别——理论重写。 (英语) Zbl 07723902号 J.日志。阿尔盖布。方法计划。 134,文章ID 100888,13 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Brown}等人,J.Log。阿尔盖布。方法程序。134,文章ID 100888,13 p.(2023;Zbl 07723902) 全文: 内政部 arXiv公司
戈梅斯·马丁内斯,埃琳娜;埃丝特·格拉;胡安·德·拉腊;安东尼奥·加门迪亚 Petri网产品线的提升结构不变量分析。 (英语) Zbl 07618123号 J.日志。阿尔盖布。方法计划。 130,文章ID 100824,21 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{E.Gómez-Martínez}等人,J.Log。阿尔盖布。方法程序。130,文章ID 100824,第21页(2023;Zbl 07618123) 全文: 内政部
梅德利纳·埃拉什库;佛罗里达州米科塔;丹妮拉·扎哈里 使用优化模理论、数学编程和对称破缺,在基于组件的应用程序云中进行可扩展的优化部署。 (英语) Zbl 1518.68021号 J.日志。阿尔盖布。方法计划。 121,文章ID 100664,23 p.(2021).MSC公司:68英里11 90 C90 PDF格式BibTeX公司 XML格式引用 \textit{M.Erašcu}等人,J.Log。阿尔盖布。方法程序。121,文章ID 100664,23 p.(2021;Zbl 1518.68021) 全文: 内政部 arXiv公司
Dokter,Kasper公司;法比奥·加杜奇;本杰明·利昂;弗朗西斯科·桑蒂尼 带记忆的软约束自动机。 (英语) 兹比尔1455.68087 J.日志。阿尔盖布。方法计划。 118,文章ID 100615,第17页(2021).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Dokter}等人,J.Log。阿尔盖布。方法程序。118,文章ID 100615,17 p.(2021;Zbl 1455.68087) 全文: 内政部 链接
盖扎·库尔斯阿尔;安德烈亚·科拉迪尼;马耳他州洛豪 并发图形再写过程的微积分。 (英语) Zbl 1494.68115号 J.日志。阿尔盖布。方法计划。 110,文章ID 100500,27 p.(2020).MSC公司:2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Kulcsár}等人,J.Log。阿尔盖布。方法程序。110,文章ID 100500,27 p.(2020;Zbl 1494.68115) 全文: 内政部
巴巴拉·科尼格;马克西姆·奈德科恩;诺尔特,丹尼斯 CoReS:通过SAT/SMT解算器计算核心图的工具。 (英语) Zbl 1435.68174号 J.日志。阿尔盖布。方法计划。 109,文章ID 100484,14 p.(2019).MSC公司:65年第68季度 68兰特 68兰特 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{B.König}等人,J.Log。阿尔盖布。方法程序。109,文章ID 100484,14 p.(2019;Zbl 1435.68174) 全文: 内政部
安德烈亚·科拉迪尼;巴巴拉·科尼格;诺尔特,丹尼斯 使用类型图指定图形语言。 (英语) Zbl 1423.68248号 J.日志。阿尔盖布。方法计划。 104, 176-200 (2019).MSC公司:65年第68季度 03B25号 18B99型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}等人,J.Log。阿尔盖布。方法程序。104、176-200(2019年;Zbl 1423.68248) 全文: 内政部 arXiv公司
叶卡捷琳娜·科门丹茨卡亚;权力,约翰 逻辑编程:宽松和饱和。 (英语) Zbl 1400.68049号 J.日志。阿尔盖布。方法计划。 101, 1-21 (2018).MSC公司:68N17号 18立方厘米 18个C20 PDF格式BibTeX公司 XML格式引用 \textit{E.Komendantskaya}和\textit{J.Power},J.Log。阿尔盖布。方法程序。101、1--21(2018;Zbl 1400.68049) 全文: 内政部 arXiv公司
法比奥·加杜奇;弗朗西斯科·桑蒂尼;路易斯·皮诺。;弗兰克·巴伦西亚。 软并发约束规划的观察和行为等效性。 (英语) Zbl 1373.68176号 J.日志。阿尔盖布。方法计划。 92, 45-63 (2017).MSC公司:第68页第19页 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}等人,J.Log。阿尔盖布。方法程序。92、45-63(2017年;Zbl 1373.68176) 全文: 内政部
沃尔夫拉姆·卡尔 通过嵌套代码图转换实现“可成型代码”。 (英语) Zbl 1371.68051号 J.日志。阿尔盖布。方法计划。 83,第225-234号(2014年).MSC公司:68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl},J.Log。阿尔盖布。方法程序。83,No.2,225--234(2014;Zbl 1371.68051) 全文: 内政部