拉杜·马达尔;卢卡·卡德利;Larsen,Kim G。 连续马尔科夫逻辑——公理化和量化元理论。 (英语) Zbl 1261.03088号 日志。方法计算。科学。 8,第4号,第19号论文,28页(2012年).MSC公司:03B45号 60J25型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Mardare}等人,日志。方法计算。科学。8,第4号,第19号论文,28页(2012;Zbl 1261.03088) 全文: 内政部 arXiv公司
米奥,马特奥 具有独立乘积的概率模态演算。 (英语) Zbl 1261.03083号 日志。方法计算。科学。 8,第4号,第18号论文,36页(2012).MSC公司:03B44型 03B70号 03E50型 68问题85 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Mio},日志。方法计算。科学。8,第4号,第18号文件,第36页(2012年;Zbl 1261.03083) 全文: 内政部
安德烈·普拉泽 分布式混合系统的量化微分动态逻辑的完全公理化。 (英语) Zbl 1261.03113号 日志。方法计算。科学。 8,第4号,第17号论文,44页(2012年).MSC公司:03B70号 34A38型 64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},日志。方法计算。科学。8,第4号,第17号论文,44页(2012;Zbl 1261.03113) 全文: 内政部 arXiv公司
安德烈·普拉泽 微分不变量的结构和微分截消元。 (英语) Zbl 1261.03112号 日志。方法计算。科学。 8,第4号,第16号论文,38页(2012).MSC公司:03B70号 05年3月 34A38型 34立方厘米 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer},日志。方法计算。科学。8,第4号,第16号论文,38页(2012;Zbl 1261.03112) 全文: 内政部 arXiv公司
罗伯特·雷廷格 关于朗道常数的可计算近似。 (英语) Zbl 1273.03145号 日志。方法计算。科学。 8,第4号,第15号论文,第11页(2012年).MSC公司:03D78号 30立方厘米 03层60 PDF格式BibTeX公司 XML格式引用 \textit{R.Retinger},日志。方法计算。科学。8,第4号,第15号论文,第11页(2012;Zbl 1273.03145) 全文: 内政部 arXiv公司
鲍勃·科克;西蒙·佩德里克 范畴量子力学中的环境和经典通道。 (英语) Zbl 1259.81019号 日志。方法计算。科学。 8,第4号,第14号论文,24页(2012年).MSC公司:81页68 18日第10天 81页第45页 81页70 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Coecke}和\textit{S.Perdrix},日志。方法计算。科学。8,第4号,第14号论文,24页(2012;Zbl 1259.81019) 全文: 内政部 arXiv公司
马里奥·布拉维蒂;辛齐亚·迪·朱斯托;Jorge A.Perez。;吉安路易吉·扎瓦塔罗 适应性流程。 (英语) Zbl 1253.68237号 日志。方法计算。科学。 8,第4号,第13号论文,71页(2012).MSC公司:68问题85 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}等人,日志。方法计算。科学。8,第4号,第13号论文,71页(2012;Zbl 1253.68237) 全文: 内政部 arXiv公司
Amélie Gheerbrant;10个Cate,Balder 有限树上一元二阶逻辑片段的完全公理化。 (英语) Zbl 1261.03111号 日志。方法计算。科学。 8,第4号,第12号论文,41页(2012).MSC公司:03B70号 03B15号机组 03C85号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.盖尔布兰特}和\textit{B.ten Cate},日志。方法计算。科学。8,第4号,第12号论文,41页(2012;Zbl 1261.03111) 全文: 内政部 arXiv公司
乌戈·达尔拉戈;马可·加博阿迪 线性相关类型和相对完整性。 (英语) Zbl 1261.03073号 日志。方法计算。科学。 8,第4号,第11号论文,44页(2012年).MSC公司:03B40型 03楼52 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{M.Gaboardi},Log。方法计算。科学。8,第4号,第11号论文,44页(2012;Zbl 1261.03073) 全文: 内政部
拉尔斯·库茨;伯恩芬克拜纳 具有过去和边界的线性时间时序逻辑的高效并行路径检查。 (英语) Zbl 1253.68221号 日志。方法计算。科学。 8,第4号,第10号论文,24页(2012年).MSC公司:60年第68季度 03B44型 PDF格式BibTeX公司 XML格式引用 \textit{L.Kuhtz}和\textit{B.Finkbeiner},日志。方法计算。科学。8,第4号,第10号论文,24页(2012;Zbl 1253.68221) 全文: 内政部 arXiv公司
菲利普·达伦多;斯特凡·德姆里;罗兰·梅耶;克里斯托夫·莫尔万 Petri网可达图:一阶属性的可判定状态。 (英语) Zbl 1248.68324号 日志。方法计算。科学。 8,第4号,第10号论文,28页(2012年).MSC公司:60年第68季度 03B25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Darondeau}等人,日志。方法计算。科学。8,第4号,第10号论文,28页(2012;Zbl 1248.68324) 全文: 内政部
Nathalie Bertrand;蒂埃里·杰伦;阿梅利·施泰纳;莫伊斯·克里钦 非确定性时间自动机的离线测试选择与测试目的。 (英语) Zbl 1248.68319号 日志。方法计算。科学。 8,第4号,第9号论文,33页(2012年).MSC公司:60年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,日志。方法计算。科学。8,第4号,第9号论文,33页(2012;Zbl 1248.68319) 全文: 内政部
弗里茨·米勒 关于Berry关于PCF中稳定阶的猜想。 (英语) Zbl 1248.68133号 日志。方法计算。科学。 8,第4号,第7号论文,39页(2012).MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.米勒},日志。方法计算。科学。8,第4号,第7号论文,39页(2012;Zbl 1248.68133) 全文: 内政部 arXiv公司
Deniélou、Pierre-Malo;吉田、Nobuko;安迪·贝杰利里;胡雷蒙德 参数化多方会话类型。 (英语) Zbl 1248.68089号 日志。方法计算。科学。 8,第4号,第6号论文,46页(2012年).MSC公司:64岁以下 03B70号 68个M12 68宽10 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{P.-M.Deniélou}等人,日志。方法计算。科学。8,第4号,第6号论文,46页(2012年;Zbl 1248.68089) 全文: 内政部
曼努埃尔·博迪尔斯基;彼得·琼森;蒂莫·冯·奥尔岑 半代数约束的本质凸性和复杂性。 (英语) Zbl 1253.68143号 日志。方法计算。科学。 8,第4号,第5号论文,25页(2012年).MSC公司:2017年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,日志。方法计算。科学。8,第4号,第5号论文,25页(2012;Zbl 1253.68143) 全文: 内政部 arXiv公司
马克·贝泽姆;中田庆子;塔尔莫乌斯塔卢 在无限红色的溪流上。 (英语) Zbl 1267.03058号 日志。方法计算。科学。 8,第4期,第4号论文,20页(2012年). 审核人:马可·贝尼尼(布奇纳斯科) MSC公司:03楼55 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}等人,日志。方法计算。科学。8,第4期,第4号论文,20页(2012;Zbl 1267.03058) 全文: 内政部 arXiv公司
安东尼奥·布恰雷利;阿尔贝托·卡拉罗;托马斯·埃尔哈德;朱利奥·曼佐内托 通过泰勒展开,通过测试对资源lambda演算进行完全抽象。 (英语) Zbl 1260.03021号 日志。方法计算。科学。 8,第4号,第3号论文,44页(2012年).MSC公司:03B40型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{A.Bucciarelli}等人,《日志》。方法计算。科学。8,第4号,第3号论文,44页(2012;Zbl 1260.03021) 全文: 内政部
杰夫·艾格;莫格尔贝里,拉斯穆斯·埃杰勒斯;亚历克斯·辛普森 丰富效果演算中的线性使用CPS转换。 (英语) Zbl 1273.03164号 日志。方法计算。科学。 8,第4号,第2号论文,27页(2012年). 审核人:Esfandiar Haghverdi(布卢明顿) MSC公司:03楼52 03B40型 03B70号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Egger}等人,Log。方法计算。科学。8,第4号,第2号论文,27页(2012年;Zbl 1273.03164) 全文: 内政部 arXiv公司
拉尔斯·比克达尔;莫格尔贝里,拉斯穆斯·埃杰勒斯;施温哈默(Jan Schwinghammer);克里斯蒂安·斯特夫林 合成保护域理论的第一步:树拓扑的阶跃诱导。 (英语) Zbl 1269.03035号 日志。方法计算。科学。 8,第4号,第1号论文,45页(2012年).MSC公司:03B70号 03G30型 18对25 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}等人,日志。方法计算。科学。8,第4号,第1号文件,第45页(2012年;兹bl 1269.03035) 全文: 内政部 arXiv公司