铃本,靖国 强真并矢子基的存在性。 (英语) Zbl 1448.54015号 日志。计算方法。科学。 13,第1号,第18号论文,第11页(2017年).MSC公司:54D70型 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{Y.Tsukamoto},日志。计算方法。科学。13,第1号,第18号文件,第11页(2017年;Zbl 1448.54015) 全文: 内政部 arXiv公司
鲁米亚纳内科娃;吉田、Nobuko 多方会话参与者。 (英语) Zbl 1398.68097号 日志。计算方法。科学。 13,第1号,第17号论文,30页(2017年).MSC公司:68号30 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{R.Neykova}和\textit{N.吉田},日志。计算方法。科学。13,第1号,第17号论文,30页(2017;Zbl 1398.68097) 全文: 内政部 arXiv公司
斯特凡·基弗;Marušić,伊内斯;詹姆斯·沃雷尔 多重树自动机的最小化。 (英语) Zbl 1398.68314号 日志。计算方法。科学。 13,第1号,第16号论文,25页(2017年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kiefer}等人,日志。计算方法。科学。13,第1号,第16号文件,第25页(2017年;兹bl 1398.68314) 全文: 内政部 arXiv公司
尼古拉·克劳斯;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕·阿滕柯奇 马丁·洛夫类型理论中的匿名存在概念。 (英语) Zbl 1377.03005号 日志。计算方法。科学。 13,第1号,第15号论文,36页(2017年). 审核人:Anthony Bordg(普拉哈) MSC公司:03B15号机组 03G30型 03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Kraus}等人,日志。计算方法。科学。13,第1号,第15号论文,36页(2017;Zbl 1377.03005) 全文: 内政部 arXiv公司
西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 键入弱MSOL属性。 (英语) Zbl 1448.68316号 日志。计算方法。科学。 13,第1号,第14号论文,27页(2017年).MSC公司:第68季度第60季度 03B16号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Salvati}和\textit{I.Walukiewicz},日志。计算方法。科学。13,第1号,第14号论文,27页(2017;Zbl 1448.68316) 全文: 内政部 arXiv公司
卢赫·拉富恩特,阿尔贝托;米歇尔·洛雷蒂;乌戈·蒙塔纳里 基于定点的计算字段的异步分布式执行。 (英语) 兹比尔1398.68369 日志。计算方法。科学。 13,第1号,第13号论文,46页(2017年).MSC公司:第68季度85 03B70号 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.Lluch Lafuente}等人,日志。计算方法。科学。13,第1号,第13号论文,46页(2017;Zbl 1398.68369) 全文: 内政部 arXiv公司
托马斯·杰奈特;亚恩鲑鱼 最内层重写的可达性分析。 (英语) Zbl 1398.68274号 日志。计算方法。科学。 13,第1号,第12号论文,35页(2017年).MSC公司:2012年第68季度 68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Genet}和\textit{Y.鲑鱼},Log。计算方法。科学。13,第1号,第12号论文,35页(2017;Zbl 1398.68274) 全文: 内政部 arXiv公司
大卫·萨贝尔;汉斯·赞特马 通过变换和矩阵解释终止循环重写。 (英语) Zbl 1398.68281号 日志。计算方法。科学。 13,第1号,第11号论文,38页(2017).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Sabel}和\textit{H.Zantema},日志。计算方法。科学。13,第1号,第11号论文,38页(2017;Zbl 1398.68281) 全文: 内政部 arXiv公司
李锡盟;吴熙;卢赫·拉富恩特,阿尔贝托;弗莱明·尼尔森;尼尔森、汉内·里斯 数据库的协调语言。 (英语) Zbl 1398.68124号 日志。计算方法。科学。 13,第1号,第10号论文,51页(2017年).MSC公司:第68页,共15页 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人,日志。计算方法。科学。13,第1号,第10号论文,51页(2017;Zbl 1398.68124) 全文: 内政部 arXiv公司
法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 策略推理:关于可满足性问题。 (英语) Zbl 1448.68312号 日志。计算方法。科学。 13,第1号,第9号论文,37页(2017年).MSC公司:第68季度第60季度 03B44号 03B70号 2017年第68季度 第68季度85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}等人,日志。计算方法。科学。13,第1号,第9号论文,37页(2017;Zbl 1448.68312) 全文: 内政部 arXiv公司
巴勃罗·阿里吉;Gilles Dowek 线性:线性代数演算。 (英语) 兹比尔1448.68206 日志。计算方法。科学。 13,第1号,第8号论文,33页(2017年).MSC公司:68甲18 03B40型 2012年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{P.Arrighi}和\textit{G.Dowek},日志。计算方法。科学。13,第1号,第8号文件,第33页(2017年;兹bl 1448.68206) 全文: 内政部 arXiv公司
尼古拉·博塔;帕特里克·詹森;塞萨尔·伊奥内斯库;大卫·R·克里斯蒂安森。;埃德温·布雷迪 顺序决策问题、依赖类型和一般解决方案。 (英语) Zbl 1398.68489号 日志。计算方法。科学。 13,第1号,第7号论文,23页(2017年).MSC公司:68T20型 68吨15 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{N.Botta}等人,日志。计算方法。科学。13,第1号,第7号论文,23页(2017;Zbl 1398.68489) 全文: 内政部 arXiv公司
辛西娅·科普;阿尔特·米德尔多普;托马斯·斯特纳格尔 条件项重写的复杂性。 (英语) Zbl 1398.68275号 日志。计算方法。科学。 13,第1号,第6号论文,56页(2017年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Kop}等人,日志。计算方法。科学。13,第1号,第6号论文,56页(2017;Zbl 1398.68275) 全文: 内政部 arXiv公司
简·克拉吉切克 随机分辨率的可行插值。 (英语) Zbl 1448.03047号 日志。计算方法。科学。 13,第1号,第5号论文,第6页(2017年).MSC公司:30楼03号 20层03 2015年3月1日 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{J.Krajicek},日志。计算方法。科学。13,第1号,第5号论文,第6页(2017;Zbl 1448.03047) 全文: 内政部 arXiv公司
简·克拉吉切克;Igor C.奥利维拉。 库克理论PV中电路上界的不可逆性。 (英语) Zbl 1448.03048号 日志。计算方法。科学。 13,第1号,第4号论文,第6页(2017年).MSC公司:30楼03号 20层03 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{J.Krajicek}和\textit{I.C.Oliveira},Log。计算方法。科学。13,第1号,第4号论文,第6页(2017;Zbl 1448.03048) 全文: 内政部 arXiv公司
Helle Hvid Hansen先生;克莱门斯·库普克;简·拉特 流微分方程:规范格式和求解方法。 (英语) Zbl 1451.68181号 日志。计算方法。科学。 13,第1号,第3号论文,51页(2017年).MSC公司:70年第68季度 2010年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Hansen}等人,《日志》。计算方法。科学。13,第1号,第3号论文,51页(2017;Zbl 1451.68181) 全文: 内政部 arXiv公司
克劳斯·凯梅尔;戈登·普洛金(Gordon D.Plotkin)。 概率和不确定性的混合幂域。 (英语) Zbl 1448.06002号 日志。计算方法。科学。 13,第1号,第2号论文,84页(2017年).MSC公司:06B35号 68问题55 46A50个 PDF格式BibTeX公司 XML格式引用 \textit{K.Keimel}和\textit{G.D.Plotkin},日志。计算方法。科学。13,第1号,第2号论文,84页(2017;Zbl 1448.06002) 全文: 内政部 arXiv公司
丹尼·罗拉博;克劳德·塔迪夫;大卫·威鲁 逻辑紧性和约束满足问题。 (英语) Zbl 1448.03020号 日志。计算方法。科学。 13,第1期,第1号论文,第11页(2017年).MSC公司:03C07号机组 03元50分 03E05号 03E65年 08A02号 08A70号 19年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Rorabaugh}等人,日志。计算方法。科学。13,1号,1号论文,11页(2017;Zbl 1448.03020) 全文: 内政部 arXiv公司