塔德乌兹·利塔克;德克·帕丁森;胜彦三野;卢茨·施罗德 联合谓词逻辑的模型理论和证明理论。 (英语) Zbl 1459.03104号 日志。计算方法。科学。 14,第1号,第22号论文,52页(2018年).MSC公司:03G30型 03B45号 03C50 03财年03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.Litak}等人,《日志》。计算方法。科学。14,第1号,第22号论文,52页(2018;Zbl 1459.03104) 全文: 内政部 arXiv公司
尤塞夫·阿尔巴赫;大卫·S·卡彻。;柯斯汀·彼得斯;乌韦·内斯特曼 事件结构中的动态因果关系。 (英语) Zbl 1459.68134号 日志。计算方法。科学。 14,第1号,第17号论文,第38页(2018).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Arbach}等人,日志。计算方法。科学。14,第1号,第17号论文,38页(2018;Zbl 1459.68134) 全文: 内政部 arXiv公司
贝塞,简;陈子春;安德烈·杜登赫夫纳;鲍里斯·杜德尔;乌戈·迪利古罗;雅各布·雷霍夫 基于交集类型的Mixin合成。 (英语) Zbl 1433.03034号 日志。计算方法。科学。 14,第1号,第18号论文,37页(2018).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.Bessai}等人,日志。计算方法。科学。14,第1号,第18号论文,37页(2018;Zbl 1433.03034) 全文: 内政部 arXiv公司
哈什·贝哈尔;巴巴拉·科尼格;塞巴斯蒂安·库珀;亚历山德拉·席尔瓦;托尔斯滕·维曼 条件转换系统与升级的联合处理。 (英语) Zbl 1459.68137号 日志。计算方法。科学。 14,第1号,第19号论文,32页(2018年).MSC公司:68问题85 18个C20 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Beohar}等人,日志。计算方法。科学。14,第1号,第19号论文,32页(2018;Zbl 1459.68137) 全文: 内政部 arXiv公司
奥利维尔·卡尔顿;多米尼克·佩林;让-埃里克·品 正则语言不同层次结构的调查。 (英语) Zbl 1390.68447号 日志。计算方法。科学。 14,第1号,第24号论文,第23页(2018).MSC公司:70年第68季度 20立方米 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Carton}等人,日志。计算方法。科学。14,第1号,第24号论文,23页(2018;Zbl 1390.68447) 全文: 内政部 arXiv公司
理查德·加纳;权力,约翰 对扩展的有限单体与Lawvere理论对应关系的一个丰富观点。 (英语) Zbl 1419.18004号 日志。计算方法。科学。 14,第1号,第16号论文,23页(2018年). 审核人:Hirokazu Nishimura(筑波) MSC公司:18立方厘米 18立方厘米 18D20天 18个C20 PDF格式BibTeX公司 XML格式引用 \textit{R.Garner}和\textit{J.Power},日志。计算方法。科学。14,第1号,第16号论文,23页(2018;Zbl 1419.18004) 全文: 内政部 arXiv公司
尼克·本顿;马丁·霍夫曼;Vivek Nigam先生 用于名称生成的证明相关的逻辑关系。 (英语) Zbl 1459.68041号 日志。计算方法。科学。 14,第1号,第25号论文,第22页(2018).MSC公司:68号30 03B70号 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}等人,Log。计算方法。科学。14,第1号,第25号论文,22页(2018;Zbl 1459.68041) 全文: 内政部 arXiv公司
亚历山大·拉比诺维奇 斯塔维定理的证明。 (英语) Zbl 1459.03020号 日志。计算方法。科学。 14,第1号,第20号论文,第18页(2018年).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},日志。计算方法。科学。14,第1号,第20号论文,18页(2018;Zbl 1459.03020) 全文: 内政部 arXiv公司
曼弗雷德·德罗斯特;沃纳·库奇 加权欧米伽受限单计数器自动机。 (英语) Zbl 1390.68386号 日志。计算方法。科学。 14,第1号,第21号论文,第14页(2018年).MSC公司:65年第68季度 2012年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{W.Kuich},日志。计算方法。科学。14,第1号,第21号论文,第14页(2018;Zbl 1390.68386) 全文: 内政部 arXiv公司
达格·诺曼 类型\((\iota\rightarrow\iota)^n\rightarror\iota\)的顺序函数构成dcpo公司适用于所有\(n\in\mathbb n\)。 (英语) Zbl 1459.03068号 日志。计算方法。科学。 14,第1号,第23号论文,第11页(2018年).MSC公司:第三天65 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{D.诺曼},日志。计算方法。科学。14,第1号,第23号论文,第11页(2018;Zbl 1459.03068) 全文: 内政部 arXiv公司
盖尔·方丹;维尼马,伊德 模态演算的一些模型理论:语义属性的句法特征。 (英语) Zbl 1459.03022号 日志。计算方法。科学。 14,第1号,第14号论文,51页(2018).MSC公司:03B45号 03B70号 第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Fontaine}和\textit{Y.Venema},日志。计算方法。科学。14,第1号,第14号论文,51页(2018;Zbl 1459.03022) 全文: 内政部 arXiv公司
Dariusz Biernacki;彼得·波列修克 效果子类型连贯性的逻辑关系。 (英语) Zbl 1398.68080号 日志。计算方法。科学。 14,第1号,第11号论文,28页(2018年).MSC公司:68甲15 03B70号 68甲18 68问题55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Biernacki}和\textit{P.Polesiuk},Log。计算方法。科学。14,第1号,第11号论文,28页(2018;Zbl 1398.68080) 全文: 内政部 arXiv公司
丹尼萨·迪亚科内斯库;乔治·梅特卡夫;劳拉·施努里格 实值模态逻辑。 (英语) Zbl 1459.03021号 日志。计算方法。科学。 14,第1号,第10号论文,27页(2018年).MSC公司:03B45号 03B50 2015年3月1日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Diaconescu}等人,《日志》。计算方法。科学。14,第1号,第10号论文,27页(2018;Zbl 1459.03021) 全文: 内政部 arXiv公司
Faghih、Fathiyeh;博尔祖·博纳克达尔普尔;塞巴斯蒂安·蒂谢尔;桑德普·库尔卡尼 分布式自稳定协议的自动合成。 (英语) Zbl 1398.68056号 日志。计算方法。科学。 14,第1号,第12号论文,25页(2018年).MSC公司:64岁以下 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{F.Faghih}等人,日志。计算方法。科学。14,第1号,第12号论文,25页(2018;Zbl 1398.68056) 全文: 内政部 arXiv公司
达纳州安格鲁因;乌迪·博克;达纳·菲斯曼 DFA家族作为\(\omega \)正则语言的接受者。 (英语) Zbl 1398.68291号 日志。计算方法。科学。 14,第1号,第15号论文,21页(2018年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人,日志。计算方法。科学。14,第1号,第15号文件,第21页(2018;兹bl 1398.68291) 全文: 内政部 arXiv公司
马修·德·布莱希特 拟光滑空间Hurewicz定理的推广。 (英语) Zbl 1459.03074号 日志。计算方法。科学。 14,第1号,第13号论文,18页(2018).MSC公司:03E15年 05年5月54日 54D10号 PDF格式BibTeX公司 XML格式引用 \textit{M.de Brecht},日志。计算方法。科学。14,第1号,第13号论文,18页(2018;Zbl 1459.03074) 全文: 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·博阿贾尼;Ngo、Tuan Phong 用于总存储顺序的加载缓冲语义。 (英语) Zbl 1459.68038号 日志。计算方法。科学。 14,第1号,第9号论文,46页(2018年).MSC公司:68号30 第68页第19页 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,日志。计算方法。科学。14,第1号,第9号论文,46页(2018;Zbl 1459.68038) 全文: 内政部 arXiv公司
克日什托夫·巴尔;基辛格,亚历克斯;杰米·维卡里 球状的:用于高维重写的在线校对助手。 (英语) Zbl 1459.68227号 日志。计算方法。科学。 14,第1号,第8号论文,16页(2018年).MSC公司:68伏15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Bar}等人,《日志》。计算方法。科学。14,第1号,第8号论文,16页(2018;Zbl 1459.68227) 全文: 内政部 arXiv公司
Ho,翁金;让·古鲍特·拉雷克;阿希姆·荣格;习晓勇 Ho-Zhao问题。 (英语) Zbl 1459.06003号 日志。计算方法。科学。 14,第1号,第7号论文,19页(2018年).MSC公司:06B35号 06B30号 18立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{W.K.Ho}等人,Log。计算方法。科学。14,第1号,第7号论文,19页(2018;Zbl 1459.06003) 全文: 内政部 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);卡西拉斯、斯特凡诺斯;卡尔·莱昂纳多森;阿尔贝托·罗斯;朱云云 用自我失效和自我降级来修补篱笆。 (英语) Zbl 1459.68039号 日志。计算方法。科学。 14,第1号,第6号论文,33页(2018年).MSC公司:68号30 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,日志。计算方法。科学。14,第1号,第6号论文,33页(2018;Zbl 1459.68039) 全文: 内政部 arXiv公司
托马斯·汉尼弗思;安德烈亚斯·马莱蒂;丹尼尔·昆海姆 推动加权树自动机。 (英语) Zbl 1390.68394号 日志。计算方法。科学。 14,第1号,第5号论文,16页(2018年). 审核人:马格努斯·斯坦比(图尔库) MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Hanneforth}等人,日志。计算方法。科学。14,第1号,第5号论文,16页(2018;Zbl 1390.68394) 全文: 内政部 arXiv公司
哈维尔·埃斯帕尔扎;丹尼斯·库珀伯格;安卡·穆斯科尔;伊戈尔·瓦卢基维奇 谈判的稳健性。 (英语) 兹比尔1459.68141 日志。计算方法。科学。 14,第1号,第4号论文,29页(2018年).MSC公司:68问题85 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,日志。计算方法。科学。14,第1号,第4号论文,29页(2018;Zbl 1459.68141) 全文: 内政部 arXiv公司
约尔格恩德鲁利斯;Helle Hvid Hansen先生;迪米特里·亨德里克斯;安德鲁·波伦斯基;亚历山德拉·席尔瓦 无限重写和无限等式逻辑的共性基础。 (英语) Zbl 1459.68089号 日志。计算方法。科学。 14,第1号,第3号论文,44页(2018年).MSC公司:2012年第68季度 03B70号 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Endrullis}等人,《日志》。计算方法。科学。14,第1号,第3号论文,44页(2018;Zbl 1459.68089) 全文: 内政部 arXiv公司
范·贝克尔,斯特芬;佛朗哥·巴巴内拉;乌戈·德利古罗 \(\lambda\mu\)-演算的交集类型。 (英语) Zbl 1459.03018号 日志。计算方法。科学。 14,第1号,第2号论文,61页(2018年).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.van Bakel}等人,Log。计算方法。科学。14,第1号,第2号论文,61页(2018;Zbl 1459.03018) 全文: 内政部 arXiv公司
罗尔夫·亨尼克;米歇尔·比多特 同步和异步通信组件的兼容性属性。 (英语) Zbl 1464.68030号 日志。计算方法。科学。 14,1号,1号论文,31页(2018).MSC公司:64岁以下 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}和\textit{M.Bidoit},Log。计算方法。科学。14,第1号,第1号论文,第31页(2018年;Zbl 1464.68030) 全文: 内政部 arXiv公司