西蒙·卡斯特伦;皮埃尔·克莱兰堡;西尔维·里多;格林·温斯克尔 游戏和策略作为事件结构。 (英语) Zbl 1459.68111号 日志。计算方法。科学。 13,第3号,第35号论文,49页(2017年).MSC公司:68问题55 68问题85 91A44型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Castellan}等人,日志。计算方法。科学。13,第3号,第35号论文,49页(2017;Zbl 1459.68111) 全文: arXiv公司
彼得·巴提亚尼;卡里姆·努尔 (lambda^{mathrm{Sym}}_{mathrm{Prop}})-和(overline{lambda}\mu\ overline})-calcalli的强正规化。 (英语) Zbl 1459.03014号 日志。计算方法。科学。 13,第3号,第34号论文,22页(2017年).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Battyanyi}和\textit{K.Nour},日志。计算方法。科学。13,第3号,第34号论文,22页(2017;Zbl 1459.03014) 全文: 内政部 arXiv公司
保罗·布鲁内特;Damien Pous Petri自动机。 (英语) Zbl 1427.68185号 日志。计算方法。科学。 13,第3号,第33号论文,50页(2017年).MSC公司:68问题85 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Brunet}和\textit{D.Pous},日志。计算方法。科学。13,第3号,第33号论文,50页(2017年;Zbl 1427.68185) 全文: 内政部 arXiv公司
玛丽亚·曼纽尔·克莱门蒂诺;伊格纳西奥·洛佩斯·弗兰科 单量子富集范畴中的松弛正交分解。 (英语) Zbl 1453.18008号 日志。计算方法。科学。 13,第3号,第32号论文,16页(2017年).MSC公司:18D20天 18楼75 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Clementino}和\textit{I.López Franco},Log。计算方法。科学。13,第3号,第32号论文,16页(2017;Zbl 1453.18008) 全文: 内政部 arXiv公司
皮埃尔·卢伊斯·居里;塞缪尔·米姆拉姆 单体范畴的连贯表示。 (英语) Zbl 1386.18025号 日志。计算方法。科学。 13,第3号,第31号论文,38页(2017年).MSC公司:18日第10天 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.居里}和\textit{S.米姆拉姆},洛格。计算方法。科学。13,第3号,第31号论文,38页(2017;Zbl 1386.18025) 全文: 内政部 arXiv公司
约瑟夫·伯杰;赫尔穆特·施维赫滕贝格 Dickson引理的界。 (英语) Zbl 1459.03092号 日志。计算方法。科学。 13,第3号,第30号论文,第8页(2017年).MSC公司:03层60 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Berger}和\textit{H.Schwichtenberg},日志。计算方法。科学。13,第3号,第30号论文,第8页(2017;Zbl 1459.03092) 全文: 内政部 arXiv公司
亚历山大·韦纳特;马丁·齐默尔曼 易于获胜,难以掌握:在具有成本的平价游戏中的最优策略。 (英语) Zbl 1401.68128号 日志。计算方法。科学。 13,第3号,第29号论文,42页(2017年).MSC公司:65年第68季度 2017年第68季度 60年第68季度 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{A.Weinert}和\textit{M.Zimmermann},Log。计算方法。科学。13,第3号,第29号论文,42页(2017;Zbl 1401.68128) 全文: 内政部 arXiv公司
德米特里·特拉泰尔 正式语言,正式的和共同的。 (英语) Zbl 1459.68108号 日志。计算方法。科学。 13,第3号,第28号论文,22页(2017年).MSC公司:65年第68季度 68问题65 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Traytel},日志。计算方法。科学。13,第3号,第28号论文,22页(2017;Zbl 1459.68108) 全文: 内政部 arXiv公司
安德烈斯·阿里斯蒂扎巴尔;Dariusz Biernacki;塞尔盖·伦格利特;彼得·波列修克 带动态提示生成的定界控制运算符的环境互模拟。 (英语) Zbl 1421.68009号 日志。计算方法。科学。 13,第3号,第27号论文,26页(2017年).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.Aristizábal}等人,日志。计算方法。科学。13,第3号,第27号论文,26页(2017年;Zbl 1421.68009) 全文: 内政部 arXiv公司
克里希南德·查特吉;莫尼卡·亨辛格;维罗尼卡·洛伊琴鲍尔 改进了奇偶性和Streett目标的算法。 (英语) Zbl 1459.68117号 日志。计算方法。科学。 13,第3号,第26号论文,27页(2017年).MSC公司:60年第68季度 65年第68季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,日志。计算方法。科学。13,第3号,第26号论文,27页(2017;Zbl 1459.68117) 全文: 内政部 arXiv公司
弗朗西斯科·兰扎托 完备Heyting代数和co-Heyting代数的一个新特征。 (英语) Zbl 1459.06006号 日志。计算方法。科学。 13,第3号,第25号论文,第11页(2017年).MSC公司:06D20日 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ranzato},日志。计算方法。科学。13,第3号,第25号论文,第11页(2017;Zbl 1459.06006) 全文: 内政部 arXiv公司
迈克尔·布隆丁;阿兰·芬克尔;皮埃尔·麦肯齐 运转良好的过渡系统。 (英语) Zbl 1459.68138号 日志。计算方法。科学。 13,第3号,第24号论文,19页(2017年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人,日志。计算方法。科学。13,第3号,第24号论文,19页(2017;Zbl 1459.68138) 全文: 内政部 arXiv公司
克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;拉斯穆斯·易卜森·延森;奥托普,简 编辑下推自动机的距离。 (英语) Zbl 1440.68152号 日志。计算方法。科学。 13,第3号,第23号论文,23页(2017年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,日志。计算方法。科学。13,第3号,第23号论文,23页(2017;Zbl 1440.68152) 全文: 内政部 arXiv公司
卡瓦伊、达松吉 统一空间的局部补全。 (英语) Zbl 1459.03094号 日志。计算方法。科学。 13,第3号,第22号论文,39页(2017年).MSC公司:65楼03号 03E70型 54E15型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kawai},日志。计算方法。科学。13,第3号,第22号论文,39页(2017;Zbl 1459.03094) 全文: 内政部 arXiv公司
弗洛里安·斯坦伯格 可积函数空间的复杂性理论。 (英语) Zbl 1460.03017号 日志。计算方法。科学。 13,第3号,第21号论文,39页(2017年).MSC公司:03D78号 2015年3月1日 26B99号 28A25号 46E30型 PDF格式BibTeX公司 XML格式引用 \textit{F.Steinberg},日志。计算方法。科学。13,第3号,第21号论文,39页(2017;Zbl 1460.03017) 全文: 内政部 arXiv公司
Natsuki Urabe;一郎·哈索 非确定性和概率Büchi自动机的公平模拟:一个联合的观点。 (英语) Zbl 1459.68125号 日志。计算方法。科学。 13,第3号,第20号论文,44页(2017年).MSC公司:70年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Urabe}和\textit{I.Hasuo},日志。计算方法。科学。13,第3号,第20号论文,44页(2017;Zbl 1459.68125) 全文: 内政部 arXiv公司
冯世光;马库斯·洛伊;卡琳·夸斯 数据字上MTL和TPTL的路径检查。 (英语) Zbl 1459.68118号 日志。计算方法。科学。 13,第3号,第19号论文,34页(2017年).MSC公司:60年第68季度 03B44号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Feng}等人,Log。计算方法。科学。13,第3号,第19号论文,34页(2017;Zbl 1459.68118) 全文: 内政部 arXiv公司
纳尔逊·马丁斯·费雷拉;安德烈亚·蒙托利;曼努埃拉·索布拉尔 关于(S\)-原模范畴中的一些范畴代数条件。 (英语) Zbl 1388.18016号 日志。计算方法。科学。 13,第3号,第18号论文,第11页(2017年). 审核人:Nasir Sohail(滑铁卢) MSC公司:18E99型 08B05年 08C05号机组 18天35分 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{N.Martins-Ferreira}等人,日志。计算方法。科学。13,第3号,第18号论文,第11页(2017;Zbl 1388.18016) 全文: 内政部 arXiv公司
巴特·雅各布斯 离散概率分布的超正规化和条件。 (英语) Zbl 1379.60010号 日志。计算方法。科学。 13,第3号,第17号论文,29页(2017).MSC公司:60立方厘米 18个C99 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs},日志。计算方法。科学。13,第3号,第17号论文,29页(2017;Zbl 1379.60010) 全文: 内政部 arXiv公司
奥列格·库季诺夫;维克托·塞利瓦诺夫 一些开集格的一阶理论。 (英语) Zbl 1459.03062号 日志。计算方法。科学。 13,第3号,第16号论文,18页(2017年).MSC公司:03日30分 03D45号 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kudinov}和\textit{V.Selivanov},日志。计算方法。科学。13,第3号,第16号论文,18页(2017;Zbl 1459.03062) 全文: 内政部 arXiv公司
佛朗哥·巴巴内拉;乌戈·德利古罗 会话契约的伸缩性、游戏和协调器。 (英语) Zbl 1459.68136号 日志。计算方法。科学。 13,第3号,第15号文件,第51页(2017).MSC公司:68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}和\textit{U.de'Liguoro},Log。计算方法。科学。13,第3号,第15号论文,51页(2017;Zbl 1459.68136) 全文: 内政部 arXiv公司
马里诺·格兰;戴安娜·罗德罗;伊德里斯·特霍夫·恩格菲 关于Goursat范畴中的连接词和群胚的一些注释。 (英语) Zbl 1453.18004号 日志。计算方法。科学。 13,第3号,第14号论文,第12页(2017年).MSC公司:18B40码 08B05年 18B10型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gran}等人,日志。计算方法。科学。13,第3号,第14号论文,第12页(2017;Zbl 1453.18004) 全文: 内政部 arXiv公司
卡里姆·努尔;穆罕默德·齐亚德 使用可实现性语义对简单类型的\(\lambda\mu\)演算的完整性结果进行了修订。 (英语) Zbl 1459.03016号 日志。计算方法。科学。 13,第3号,第13号论文,第13页(2017年).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.Nour}和\textit{M.Ziadeh},日志。计算方法。科学。13,第3号,第13号论文,第13页(2017;Zbl 1459.03016) 全文: 内政部 arXiv公司
赖洪亮;沃尔特·托伦 关于量子值拓扑空间拓扑性的注记。 (英语) Zbl 1452.54010号 日志。计算方法。科学。 13,第3号,第12号论文,第13页(2017年).MSC公司:54B30型 54A20型 18楼75 PDF格式BibTeX公司 XML格式引用 \textit{H.Lai}和\textit{W.Tholen},Log。计算方法。科学。13,第3号,第12号论文,第13页(2017;Zbl 1452.54010) 全文: 内政部 arXiv公司
川本优助;康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚Palamidessi 关于定量信息流的组成。 (英语) Zbl 1464.68042号 日志。计算方法。科学。 13,第3号,第11号论文,31页(2017年).MSC公司:68平方米25 68页30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kawamoto}等人,日志。计算方法。科学。13,第3号,第11号论文,31页(2017;Zbl 1464.68042) 全文: 内政部 arXiv公司
可口、蒂埃里;巴赛尔·曼纳 马尔可夫原理在类型论中的独立性。 (英语) Zbl 1434.03136号 日志。计算方法。科学。 13,第3号,第10号论文,28页(2017年).MSC公司:03楼50 03B38型 03E40型 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}和\textit{B.Mannaa},日志。计算方法。科学。13,第3号,第10号论文,28页(2017;Zbl 1434.03136) 全文: 内政部 arXiv公司
安德烈·杜登赫夫纳;莫里茨·马滕斯;Jakob Rehof 代数交集型统一问题。 (英语) Zbl 1459.03015号 日志。计算方法。科学。 13,第3号,第9号论文,26页(2017年).MSC公司:03B40型 68甲18 03C05号机组 2017年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Dudenhfner}等人,日志。计算方法。科学。13,第3号,第9号论文,26页(2017;Zbl 1459.03015) 全文: 内政部 arXiv公司
辛西娅·科普;雅各布·格鲁·西蒙森 复杂性层次和高阶无同调项重写。 (英语) Zbl 1459.68091号 日志。计算方法。科学。 13,第3号,第8号论文,29页(2017年).MSC公司:2012年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Kop}和\textit{J.Grue-Simonsen},日志。计算方法。科学。13,第3号,第8号论文,29页(2017;Zbl 1459.68091) 全文: 内政部 arXiv公司
布鲁诺·库塞尔 广义树的代数和逻辑描述。 (英语) Zbl 1459.03007号 日志。计算方法。科学。 13,第3号,第7号论文,39页(2017年).MSC公司:03B16号 05二氧化碳 05C75号 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},日志。计算方法。科学。13,第3号,第7号论文,39页(2017;Zbl 1459.03007) 全文: 内政部 arXiv公司
奥利维·洛朗 专注于正交学。 (英语) Zbl 1459.03096号 日志。计算方法。科学。 13,第3号,第6号论文,25页(2017年).MSC公司:03G12号机组 05年3月 03B35型 03B47号 03楼52 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{O.Laurent},日志。计算方法。科学。13,第3号,第6号论文,25页(2017;Zbl 1459.03096) 全文: 内政部 arXiv公司
博迪,恰拉;皮耶保罗·德加诺;吉安·路易吉,法拉利;加莱塔,莱特里奥 跟踪收集和汇总物联网数据的位置。 (英语) Zbl 1459.68013号 日志。计算方法。科学。 13,第3号,第5号论文,38页(2017年).MSC公司:68英里11 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,日志。计算方法。科学。13,第3号,第5号论文,38页(2017;Zbl 1459.68013) 全文: 内政部 arXiv公司
德克·霍夫曼;卢尔德·索萨 代数代数的方面。 (英语) Zbl 1456.18006号 日志。计算方法。科学。 13,第3号,第4号论文,25页(2017年).MSC公司:18个C20 PDF格式BibTeX公司 XML格式引用 \textit{D.Hofmann}和\textit{L.Sousa},日志。计算方法。科学。13,第3号,第4号论文,25页(2017;Zbl 1456.18006) 全文: 内政部 arXiv公司
伊万·乔治耶夫 条件可计算实函数的特征定理。 (英语) 兹比尔1456.03068 日志。计算方法。科学。 13,3号,第3号论文,17页(2017年).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{I.Georgiev},日志。计算方法。科学。13,3号,第3号论文,17页(2017;Zbl 1456.03068) 全文: 内政部 arXiv公司
Furio Honsell;路易吉·利科里;佩塔·马克西莫维奇;伊万·斯卡格内托 \(\mathsf{极低频}_{\mathcal{P}}\):一个逻辑框架,用于建模外部证据、附带条件和使用单子证明无关性。 (英语) Zbl 1456.03027号 日志。计算方法。科学。 13,第3号,第2号论文,33页(2017年).MSC公司:03B40型 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{F.Honsell}等人,日志。计算方法。科学。13,第3号,第2号论文,33页(2017;Zbl 1456.03027) 全文: 内政部 arXiv公司
Elie M.亚当。;Munther A.Dahleh。;阿索曼·奥兹达格勒 走向级联效应的代数。 (英语) Zbl 1456.06007号 日志。计算方法。科学。 13,第3号,第1号论文,31页(2017年).MSC公司:06B99年 06B10号 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Adam}等人,Log。计算方法。科学。13,第3号,第1号论文,31页(2017;Zbl 1456.06007) 全文: 内政部 arXiv公司