埃尔玛·伯勒;纳迪亚·克里诺;马提亚斯·加洛塔;斯特芬·里思;海宁·施诺尔;赫里贝特·沃尔默 布尔电路不同等价和审计问题的复杂性分类。 (英语) Zbl 1248.94130号 日志。方法计算。科学。 8,第3号,第31号论文,25页(2012年).MSC公司:94立方厘米 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Böhler}等人,《日志》。方法计算。科学。8,第3号,第31号文件,第25页(2012年;兹bl 1248.94130) 全文: 内政部 arXiv公司
贾尼契奇,普雷德拉格 URSA:统一降为SAT的系统。 (英语) Zbl 1248.68456号 日志。方法计算。科学。 8,第3号,第30号文件,第39页(2012年).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.Janić},日志。方法计算。科学。8,第3号,第30号论文,39页(2012;Zbl 1248.68456) 全文: 内政部 arXiv公司
托马斯·马丁·高利察;大卫·蒙尼厄 通过策略迭代在简洁表示的控制流图中生成不变量。 (英语) Zbl 1248.68142号 日志。方法计算。科学。 8,第3号,第29号论文,35页(2012年).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Gawlitza}和\textit{D.Monniaux},日志。方法计算。科学。8,第3号,第29号文件,第35页(2012年;兹bl 1248.68142) 全文: 内政部 arXiv公司
阿兰·芬克尔;让·古鲍特·拉雷克 WSTS的正向分析。二: 完成WSTS。 (英语) Zbl 1248.68329号 日志。方法计算。科学。 8,第3号,第28号论文,35页(2012年).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}和\textit{J.Goubault-Larrecq},日志。方法计算。科学。8,第3号,第28号论文,35页(2012;Zbl 1248.68329) 全文: 内政部
维梅尔;哈罗;卡斯滕·沃尔夫 将CEGAR应用于Petri网状态方程。 (英语) Zbl 1248.68360号 日志。方法计算。科学。 8,第3号,第27号论文,20页(2012).MSC公司:68问题85 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Wimmel}等人,日志。方法计算。科学。8,第3号,第27号论文,20页(2012;Zbl 1248.68360) 全文: 内政部
Mikołaj博扬奇克;卢克·塞古芬;霍华德·斯特劳宾 分段可测试树语言。 (英语) Zbl 1261.03126号 日志。方法计算。科学。 8,第3号,第26号文件,第32页(2012年). 审核人:马格努斯·斯坦比(图尔库) MSC公司:05年3月 03B70号 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Bojańczyk}等人,日志。方法计算。科学。8,第3号,第26号论文,32页(2012;Zbl 1261.03126) 全文: 内政部 arXiv公司
Lee,Wonchan先生;容伯姆·荣格;王,弯腰;Yi,Kwangkuen先生 基于学习的无量词循环不变量推理的谓词生成。 (英语) Zbl 1248.68274号 日志。方法计算。科学。 8,第3号,第25号论文,21页(2012年).MSC公司:68问题32 PDF格式BibTeX公司 XML格式引用 \textit{W.Lee}等人,Log。方法计算。科学。8,第3号,第25号论文,21页(2012;Zbl 1248.68274) 全文: 内政部
迈克尔·霍特曼;卢卡斯·凯泽;沃尔夫冈·托马斯 常规无限游戏中的前瞻度。 (英语) Zbl 1248.68299号 日志。方法计算。科学。 8,第3号,第24号论文,第15页(2012年).MSC公司:65年第68季度 60年第68季度 68问题85 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Holtmann}等人,日志。方法计算。科学。8,第3号,第24号论文,第15页(2012;Zbl 1248.68299) 全文: 内政部
亚历山大·休纳;杰罗姆·勒鲁;安卡·穆斯科尔;格雷戈伊尔·萨特雷 通信下推系统的可达性分析。 (英语) 兹比尔1248.68330 日志。方法计算。科学。 8,第3号,第23号论文,20页(2012年).MSC公司:60年第68季度 68号30 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Heußner}等人,Log。方法计算。科学。8,第3号,第23号文件,第20页(2012年;兹bl 1248.68330) 全文: 内政部
雅各布·塔姆斯堡;拉尔斯·比克达尔;杨红seok 以二换一:提升分离逻辑断言。 (英语) Zbl 1258.03032号 日志。方法计算。科学。 8,第3号,第22号论文,31页(2012).MSC公司:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Thamsborg}等人,日志。方法计算。科学。8,第3号,第22号论文,31页(2012;Zbl 1258.03032) 全文: 内政部 arXiv公司
戴安娜·菲舍尔;凯撒,乌卡斯 线性混杂系统上定量演算的模型检验。 (英语) Zbl 1344.68138号 日志。方法计算。科学。 8,第3号,第21号论文,24页(2012年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Fischer}和\textit{Ł.Kaiser},Log。方法计算。科学。8,第3号,第21号论文,24页(2012;Zbl 1344.68138) 全文: 内政部
穆罕默德·法乌兹·阿提格 有序多推自动机的模型检查。 (英语) Zbl 1279.68206号 日志。方法计算。科学。 8,第3号,第20号论文,31页(2012).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Faouzi Atig},日志。方法计算。科学。8,第3号,第20号论文,31页(2012;Zbl 1279.68206) 全文: 内政部
米科拉伊·博扬奇克;伊戈尔·瓦卢基维奇;霍华德·斯特劳宾 森林代数的圈积及其在树逻辑中的应用。 (英语) Zbl 1258.03044号 日志。方法计算。科学。 8,第3号,第19号论文,39页(2012).MSC公司:05年3月 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Bojańczyk}等人,日志。方法计算。科学。8,第3号,第19号论文,39页(2012;Zbl 1258.03044) 全文: 内政部 arXiv公司
帕里斯(Pawe Parys);伊戈尔·瓦卢基维奇 弱交替时间自动机。 (英语) Zbl 1258.03047号 日志。方法计算。科学。 8,第3号,第18号论文,27页(2012年).MSC公司:05年3月 03B25号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Parys}和\textit{I.Walukiewicz},日志。方法计算。科学。8,第3号,第18号论文,27页(2012;Zbl 1258.03047) 全文: 内政部 arXiv公司
Jörg Brauer;国王,安迪 无量词消除的传递函数综合。 (英语) Zbl 1278.68070号 日志。方法计算。科学。 8,第3号,第17号论文,37页(2012年).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Brauer}和\textit{A.King},Log。方法计算。科学。8,第3号,第17号论文,37页(2012年;Zbl 1278.68070) 全文: 内政部
Sylvain Conchon公司;伊芙琳·孔特让;穆罕默德·伊格尔内拉拉 肖斯塔克理论的经典重写和地面AC完成模块:设计和实现。 (英语) Zbl 1253.68291号 日志。方法计算。科学。 8,第3号,第16号论文,29页(2012).MSC公司:68吨15 03B35型 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Conchon}等人,日志。方法计算。科学。8,第3号,第16号论文,29页(2012;Zbl 1253.68291) 全文: 内政部
郑锡忠;罗伯特·雷廷格 简单可计算平面曲线的点可分类。 (英语) Zbl 1260.03110号 日志。方法计算。科学。 8,第3号,第15号论文,第19页(2012年).MSC公司:03层60 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{X.Zheng}和\textit{R.Retinger},Log。方法计算。科学。8,第3号,第15号论文,19页(2012;Zbl 1260.03110) 全文: 内政部 arXiv公司
亚历山大·库兹;罗西克、吉伊 余代数的强完备逻辑。 (英语) Zbl 1263.03063号 日志。方法计算。科学。 8,第3号,第14号论文,32页(2012). 审核人:卢茨·施罗德(不来梅) MSC公司:03G30型 03B45 03B70号 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Kurz}和\textit{J.Rosick椯},Log。方法计算。科学。8,第3号,第14号论文,32页(2012;Zbl 1263.03063) 全文: 内政部 arXiv公司
曼纽尔·博迪尔斯基;马丁·希尔斯;巴纳比·马丁 关于约束满足的泛代数方法的范围。 (英语) Zbl 1308.68062号 日志。方法计算。科学。 8,第3号,第13号论文,30页(2012年).MSC公司:65年第68季度 03C07号机组 08A70号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,日志。方法计算。科学。8,第3号,第13号论文,30页(2012;Zbl 1308.68062) 全文: 内政部
乌戈·达尔拉戈;西蒙·马蒂尼 关于构造函数重写系统和lambda演算。 (英语) Zbl 1256.68091号 日志。方法计算。科学。 8,第3号,第12号论文,27页(2012年).MSC公司:第68季度第42季度 03B40型 03日第10天 2015年3月1日 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{S.Martini},Log。方法计算。科学。8,第3号,第12号论文,27页(2012;Zbl 1256.68091) 全文: 内政部
曼弗雷德·库夫莱特纳;韦尔·帕斯卡 在\(\mathrm{FO}^{2}\)可定义语言中的逻辑层次结构上。 (英语) Zbl 1256.03043号 日志。方法计算。科学。 8,第3号,第11号论文,30页(2012年).MSC公司:05年3月 03B20型 03B25号 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kufleitner}和\textit{P.Weil},Log。方法计算。科学。8,第3号,第11号论文,30页(2012;Zbl 1256.03043) 全文: 内政部 arXiv公司
本·莫斯科夫斯基 无限时间命题区间时序逻辑的完备公理系统。 (英语) Zbl 1256.03023号 日志。方法计算。科学。 8,第3号,第10号论文,56页(2012年).MSC公司:03B44号 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski},日志。方法计算。科学。8,第3号,第10号文件,第56页(2012年;Zbl 1256.03023) 全文: 内政部 arXiv公司
简·克拉契克 带有Nisan-Widgerson生成器的学生-教师游戏的伪有限硬实例。 (英语) 兹比尔1256.68079 日志。方法计算。科学。 8,第3号,第9号论文,第8页(2012年).MSC公司:2017年第68季度 20层03 2015年上半年03日 2010年第68季度 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Krajíck},日志。方法计算。科学。8,第3号,第9号论文,第8页(2012;Zbl 1256.68079) 全文: 内政部 arXiv公司
皮埃尔·克莱兰堡 存在高阶引用时的类型同构。 (英语) Zbl 1256.68043号 日志。方法计算。科学。 8,第3号,第8号论文,28页(2012年).MSC公司:68号30 68甲15 第68季度55 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Clairambault},日志。方法计算。科学。8,第3号,第8号论文,28页(2012;Zbl 1256.68043) 全文: 内政部 arXiv公司
山形,Yoriyuki 自由逻辑中的有界算术。 (英语) Zbl 1252.03137号 日志。方法计算。科学。 8,第3号,第7号论文,38页(2012). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03英尺30英寸 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yamagata},日志。方法计算。科学。8,第3号,第7号论文,38页(2012;Zbl 1252.03137) 全文: 内政部 arXiv公司
彼得·塞林格 有限维希尔伯特空间对于匕首紧闭范畴是完备的。 (英语) Zbl 1250.18007号 日志。方法计算。科学。 8,第3号,第6号论文,12页(2012).MSC公司:18日第15天 46立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{P.Selinger},日志。方法计算。科学。8,第3号,第6号论文,12页(2012;Zbl 1250.18007) 全文: 内政部 arXiv公司
戴三民;斯蒂芬·库克。 形式化随机匹配算法。 (英语) Zbl 1256.03061号 日志。方法计算。科学。 8,第3号,第5号论文,27页(2012年).MSC公司:20层03 05C70号 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{D.T.M.Lé}和\textit{S.A.Cook},Log。方法计算。科学。8,第3号,第5号论文,27页(2012;Zbl 1256.03061) 全文: 内政部 arXiv公司
直纪西田;Masahiko酒井;坂部俊彦 条件项重写系统通过与线性相关的超属性展开的合理性。 (英语) Zbl 1252.68161号 日志。方法计算。科学。 8,第3号,第4号论文,49页(2012).MSC公司:第68季度第42季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}等人,日志。方法计算。科学。8,第3号,第4号论文,49页(2012;Zbl 1252.68161) 全文: 内政部
阿尔贝托·格里乔;Le,Thi Thieu Hoa先生;罗伯托·塞巴斯蒂亚尼 可满足模线性整数算法中的高效插值生成。 (英语) Zbl 1256.68138号 日志。方法计算。科学。 8,第3期,第3号论文,31页(2012年).MSC公司:68吨15 03C40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Griggio}等人,Log。方法计算。科学。8,第3期,第3号论文,31页(2012;Zbl 1256.68138) 全文: 内政部
克莱门斯·库普克;亚历山大·库兹;维尼马,伊德 联合掩护模式的完整性。 (英语) 兹比尔1261.18006 日志。方法计算。科学。 8,第3号,第2号论文,76页(2012年). 审核人:安娜·拉布拉(罗马) MSC公司:18 C50 03B45 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Kupke}等人,日志。方法计算。科学。8,第3号,第2号论文,76页(2012;Zbl 1261.18006) 全文: 内政部 arXiv公司
马修·帕金森。;亚历山大·萨默斯。 分离逻辑与隐式动态框架之间的关系。 (英语) Zbl 1256.03036号 日志。方法计算。科学。 8,第3号,第1号论文,54页(2012年).MSC公司:03B70号 第68季度55 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.J.帕金森}和\textit{A.J.萨默斯},Log。方法计算。科学。8,第3号,第1号论文,54页(2012;Zbl 1256.03036) 全文: 内政部