米丽亚姆·巴肯斯;西蒙·佩德里克;王全龙 朝向最小稳定器兹克斯-微积分。 (英语) Zbl 1509.81240号 日志。方法计算。科学。 16,第4号,第19号论文,30页(2020年).MSC公司:81页68 2005年5月18日 18立方米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Backens}等人,日志。方法计算。科学。16,第4号,第19号论文,30页(2020;Zbl 1509.81240) 全文: arXiv公司 链接
沈冲;习晓勇;徐晓泉;赵东生 在过滤良好的开放空间上。 (英语) Zbl 1509.06005号 日志。方法计算。科学。 16,第4号,第18号论文,第10页(2020年).MSC公司:06B35号 54A20型 54D10号 54D45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Shen}等人,Log。方法计算。科学。16,第4号,第18号论文,10页(2020;Zbl 1509.06005) 全文: arXiv公司 链接
巴赛尔·曼纳;莫格尔贝里,拉斯穆斯·埃杰勒斯;尼科洛Veltri 滴答钟作为从属右伴随词:钟型理论的指称语义。 (英语) Zbl 1509.03053号 日志。方法计算。科学。 16,第4号,第17号论文,31页(2020年).MSC公司:03B38型 03B40型 18A40型 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Mannaa}等人,日志。方法计算。科学。16,第4号,第17号论文,31页(2020;Zbl 1509.03053) 全文: arXiv公司 链接
奥曼·波霍拉,约翰内斯 重温Psi-calculi:连通性和组合性。 (英语) Zbl 1509.68180号 日志。方法计算。科学。 16,第4号,第16号论文,28页(2020年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.奥曼·波霍拉},Log。方法计算。科学。16,第4号,第16号论文,28页(2020年;Zbl 1509.68180) 全文: arXiv公司 链接
Kokke,温;J.Garrett莫里斯;菲利普·沃德勒 走向线性逻辑中的种族。 (英语) Zbl 1509.03167号 日志。方法计算。科学。 16,第4号,第15号论文,16页(2020年).MSC公司:03楼52 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Kokke}等人,日志。方法计算。科学。16,第4号,第15号文件,第16页(2020;兹bl 1509.03167) 全文: arXiv公司 链接
伊曼纽尔·海因里;罗曼·佩乔克斯 高阶解释理论及其在基本可行函数中的应用。 (英语) Zbl 1509.68042号 日志。方法计算。科学。 16,第4号,第14号文件,第25页(2020).MSC公司:68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Hainry}和\textit{R.Péchoux},Log。方法计算。科学。16,第4号,第14号论文,25页(2020年;Zbl 1509.68042) 全文: arXiv公司 链接
托马斯·布里海耶;佛罗伦萨德尔格兰奇;尤索夫·乌阿尔哈德;米凯尔·兰多尔 生命是随机的,时间不是:具有窗口目标的马尔可夫决策过程。 (英语) Zbl 1509.91006号 日志。方法计算。科学。 16,第4号,第13号论文,30页(2020年).MSC公司:91A35型 91A43型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,日志。方法计算。科学。16,第4号,第13号论文,30页(2020;Zbl 1509.91006) 全文: arXiv公司 链接
马蒂亚斯·韦伯 具有lambda类型的lambda表达式的扩展类型系统。 (英语) Zbl 1516.03007号 日志。方法计算。科学。 16,第4号,第12号论文,50页(2020年).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Weber},日志。方法计算。科学。16,第4号,第12号论文,50页(2020;Zbl 1516.03007) 全文: arXiv公司 链接
斯特凡·赫兹尔;扬尼克·维林 子句集循环和归纳。 (英语) Zbl 1516.03006号 日志。方法计算。科学。 16,第4号,第11号论文,17页(2020年).MSC公司:03B35型 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Hetzl}和\textit{J.Vierling},Log。方法计算。科学。16,第4号,第11号论文,17页(2020年;Zbl 1516.03006) 全文: arXiv公司 链接
马西斯·雷内拉 概率调用名FPC中的凸性和顺序。 (英语) Zbl 1517.68217号 日志。方法计算。科学。 16,第4号,第10号论文,25页(2020年).MSC公司:68问题55 06B35号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Rennela},日志。方法计算。科学。16,第4号,第10号文件,第25页(2020年;Zbl 1517.68217) 全文: arXiv公司 链接
奥利维尔·卡尔顿;吕克·博阿松 超限林登词。 (英语) Zbl 1517.68312号 日志。方法计算。科学。 16,第4号,第9号文件,第38页(2020).MSC公司:68兰特 03E10年 PDF格式BibTeX公司 XML格式引用 \textit{O.Carton}和\textit{L.Boasson},日志。方法计算。科学。16,第4号,第9号论文,38页(2020年;Zbl 1517.68312) 全文: arXiv公司 链接
托马斯·布里海耶;维罗尼克·布鲁埃;戈敏,阿琳;Jean-François拉斯金;玛丽·范登·博加德 定量可达博弈中子博弈完美均衡的复杂性。 (英语) Zbl 1519.91050号 日志。方法计算。科学。 16,第4号,第8号论文,43页(2020年).MSC公司:91A43型 91A11号机组 91A68型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,日志。方法计算。科学。16,第4号,第8号论文,43页(2020年;Zbl 1519.91050) 全文: arXiv公司 链接
弗拉维奥·科拉迪尼;安德烈亚·莫里切塔;安德烈亚·波利尼;Re,芭芭拉;弗朗西斯科·蒂埃齐 BPMN中的协作与编排一致性。 (英语) Zbl 07269254号 日志。方法计算。科学。 16,第4号,第7号论文,37页(2020年).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人,日志。方法计算。科学。16,第4号,第7号论文,37页(2020;Zbl 07269254) 全文: arXiv公司 链接
达斯,阿努帕姆;科林·里巴 无限树的函数(一元)二阶理论。 (英语) Zbl 07269253号 日志。方法计算。科学。 16,第4号,第6号论文,83页(2020年).MSC公司:03B70号 03B16号 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Das}和\textit{C.Riba},日志。方法计算。科学。16,第4号,第6号论文,83页(2020;Zbl 07269253) 全文: arXiv公司 链接
埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;伊雷克·乌利多夫斯基 反向放置过渡网。 (英语) Zbl 07269252号 日志。方法计算。科学。 16,第4号,第5号论文,28页(2020年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Melgratti}等人,日志。方法计算。科学。16,第4号,第5号论文,28页(2020;Zbl 07269252) 全文: arXiv公司 链接
阿兰·芬克尔;M·普拉文。 平面FIFO系统的验证。 (英语) Zbl 07269251号 日志。方法计算。科学。 16,第4期,第4号论文,29页(2020年).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}和\textit{M.Praveen},日志。方法计算。科学。16,第4期,第4号论文,29页(2020;Zbl 07269251) 全文: arXiv公司 链接
简·Křetínsk \345];托拜厄斯·梅根多夫 核心:马尔可夫决策过程的部分探索框架。 (英语) Zbl 07269250号 日志。方法计算。科学。 16,第4号,第3号论文,31页(2020年).MSC公司:60年第68季度 第68季度87 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk \}和\textit{T.Meggendorfer},日志。方法计算。科学。16,第4号,第3号文件,第31页(2020年;Zbl 07269250) 全文: arXiv公司 链接
小林直树;乌戈·达尔·拉戈;查尔斯·格雷洛伊斯 关于概率高阶递归程序的终止问题。 (英语) Zbl 1490.68134号 日志。方法计算。科学。 16,第4号,第2号论文,57页(2020年).MSC公司:60年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kobayashi}等人,日志。方法计算。科学。16,第4号,第2号论文,57页(2020年;Zbl 1490.68134) 全文: arXiv公司 链接
乔治·奥德里托;雅各布·比尔;费卢西奥·达米亚尼;丹尼尔·皮亚尼尼;米尔科·维罗利 与共享运营商进行现场协调。 (英语) Zbl 07269248号 日志。方法计算。科学。 16,第4号,第1号论文,41页(2020年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Audrito}等人,日志。方法计算。科学。16,第4号,第1号论文,41页(2020;Zbl 07269248) 全文: arXiv公司 链接