罗伊·戴克霍夫;梅赫努什·萨德扎德;朱利安·特鲁弗 命题、动作和伴随模态算子的直觉逻辑的代数、证明理论和应用。 (英语) Zbl 1353.68262号 ACM事务处理。计算。日志。 第14号第4条第34条第37页(2013年)。MSC公司:68T27型 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{R.Dyckhoff}等人,ACM Trans。计算。日志。14,第4号,第34条,第37页(2013;Zbl 1353.68262) 全文: 内政部
陈、陶璐;马尔科·迪西奥拉;玛尔塔·奎亚特科夫斯卡;亚历山大·梅雷克莱 连续时间马尔可夫链上线性持续时间特性的验证。 (英语) Zbl 1353.68174号 ACM事务处理。计算。日志。 第14号第4条第33条第35页(2013年)。MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,ACM Trans。计算。日志。14,第4号,第33条,第35页(2013;Zbl 1353.68174) 全文: 内政部
弗洛里安·拉贝;克里斯蒂娜·索雅科娃 逻辑框架的逻辑关系。 (英语) Zbl 1353.68252号 ACM事务处理。计算。日志。 第14号第4条第32条第34页(2013年)。MSC公司:68吨15 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.Rabe}和\textit{K.Sojakova},ACM翻译。计算。日志。14,第4号,第32条,第34页(2013;Zbl 1353.68252) 全文: 内政部
杰罗·凯特马;雅各布·格鲁·西蒙森 项重写和(lambda)-演算中汇流图和Church-Rosser图大小的最小上界。 (英语) Zbl 1354.68143号 ACM事务处理。计算。日志。 第14号第4条第31条第28页(2013年)。MSC公司:2012年第68季度 03B40型 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{J.Ketema}和\textit{J.G.Simonsen},ACM Trans。计算。日志。14,第4号,第31条,28页(2013;Zbl 1354.68143) 全文: 内政部
曼纽尔·博迪尔斯基;H.Dugald麦克弗森;约翰·塔珀 无限集上半格运算的约束满足可处理性。 (英语) Zbl 1354.68109号 ACM事务处理。计算。日志。 第14号第4条第30条第19页(2013年)。MSC公司:65年第68季度 03C98号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,《美国医学杂志》。计算。日志。14,第4号,第30条,第19页(2013;Zbl 1354.68109) 全文: 内政部 arXiv公司 哈尔
奥利维尔·丹维;伊恩·泽尼 组合图约简的三种句法理论。 (英语) Zbl 1353.68040号 ACM事务处理。计算。日志。 第14号第4条第29条第27页(2013年)。MSC公司:68甲18 03B40型 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}和\textit{I.Zerny},ACM Trans。计算。日志。14,第4号,第29条,第27页(2013;Zbl 1353.68040) 全文: 内政部
Jose Gaintzarain;帕基·卢西奥 更具表现力的声明式时序逻辑编程语言的逻辑基础。 (英语) Zbl 1353.68035号 ACM事务处理。计算。日志。 14,第4号,第28条,第41页(2013年)。MSC公司:68N17号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Gaintzarain}和\textit{P.Lucio},美国医学会Trans。计算。日志。14,第4号,第28条,第41页(2013;Zbl 1353.68035) 全文: 内政部
奥里·拉哈夫;阿诺·阿夫隆 全结构命题序列系统的统一语义框架。 (英语) Zbl 1354.03084号 ACM事务处理。计算。日志。 第14号第4条第27条第33页(2013年)。MSC公司:03财年03 PDF格式BibTeX公司 XML格式引用 \textit{O.Lahav}和\textit{A.Avron},ACM Trans。计算。日志。14,第4号,第27条,33页(2013;Zbl 1354.03084) 全文: 内政部
乔纳森·赫拉斯;可口、蒂埃里;安德斯·莫特伯格;文森特·塞尔斯 计算Coq/SSReflect中的持久同源性。 (英语) Zbl 1353.68251号 ACM事务处理。计算。日志。 第14号第4条第26条第16页(2013年)。MSC公司:68吨15 03B35型 55号35 PDF格式BibTeX公司 XML格式引用 \textit{J.Heras}等人,ACM Trans。计算。日志。14,第4号,第26条,第16页(2013;Zbl 1353.68251) 全文: 内政部 arXiv公司
沃伊切赫·卡扎纳;卢克·塞古芬 树上一元二阶查询的枚举。 (英语) Zbl 1353.68068号 ACM事务处理。计算。日志。 第14号第4条第25条第12页(2013年)。MSC公司:第68页,共15页 03B15号机组 03B70号 65年第68季度 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{W.Kazana}和\textit{L.Segoufin},ACM翻译。计算。日志。14,第4号,第25条,第12页(2013;Zbl 1353.68068) 全文: 内政部 哈尔