佩德罗·R·达吉尼奥。;丹尼尔·格布勒;李,马蒂亚斯·戴维 概率转移系统规范的通用SOS理论。 (英语) 兹伯利1344.68163 Inf.计算。 249, 76-109 (2016).MSC公司:68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}等人,《信息计算》。249、76-109(2016年;Zbl 1344.68163) 全文: 内政部
帕特里克·贝洛特;乌戈·达尔拉戈 高阶解释和程序复杂性。 (英语) Zbl 1339.68037号 Inf.计算。 248, 56-81 (2016).MSC公司:68甲18 2015年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}和\textit{U.Dal Lago},Inf.Compute。24856--81(2016;Zbl 1339.68037) 全文: 内政部
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 (英语) Zbl 1358.68210号 Inf.计算。 225,29-82(2013).MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,《信息计算》。225,29-82(2013;Zbl 1358.68210) 全文: 内政部
普洛格,B。;韦塞林克,J.W。;威廉姆斯,T.A.C。 通过实例化参数化布尔方程系统验证反应系统。 (英语) Zbl 1215.68133号 Inf.计算。 209,第4期,637-663(2011).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Ploeger}等人,《信息计算》。209,第4号,637--663(2011;Zbl 1215.68133) 全文: 内政部
伊雷克·乌利多夫斯基;袁,Shoji 为OSOS过程语言生成优先级重写系统。 (英语) Zbl 1165.68037号 Inf.计算。 207,第2期,第120-145页(2009年).MSC公司:2012年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Ulidowski}和\textit{S.Yuen},Inf.Compute。207,第2号,120--145(2009;Zbl 1165.68037) 全文: 内政部
穆罕默德·礼萨,穆萨维;伊恩·菲利普斯;米歇尔·雷尼尔斯(Michel A.Reniers)。;伊雷克·乌利多夫斯基 有序SOS的语义和表达。 (英语) Zbl 1165.68045号 Inf.计算。 207,第2期,85-119(2009).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Mousavi}等人,《信息计算》。207,第2号,85--119(2009;Zbl 1165.68045) 全文: 内政部
巴哈雷赫巴德班;范德波尔(Jaco Van De Pol);奥尔加·特维雷蒂纳;汉斯·赞特马 推广DPLL和等式的可满足性。 (英语) Zbl 1121.68102号 Inf.计算。 205,第8期,1188-1211(2007).MSC公司:68吨15 68T20型 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}等人,《信息计算》。205,第8号,1188--1211(2007;Zbl 1121.68102) 全文: 内政部 链接
巴斯·卢提克;彼得·罗登堡;拉凯什·维尔玛 关于Thatte对术语重写系统的转换的评论。 (英语) Zbl 1101.68630号 Inf.计算。 195,编号1-2,66-87(2004).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Luttik}等人,《信息计算》。195,编号1--2,66-87(2004;Zbl 1101.68630) 全文: 内政部
萨尔瓦多卢卡斯 上下文敏感的重写策略。 (英语) Zbl 1012.68095号 Inf.计算。 178,第1期,294-343页(2002年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Lucas},Inf.计算。178,编号1,294--343(2002;Zbl 1012.68095) 全文: 内政部
范·拉姆斯东克(Femke van Raamsdonk);波拉·塞韦利;索伦森,莫滕·海涅B。;席宏伟 (lambda)-演算的永久约简。 (英语) Zbl 0920.03024号 Inf.计算。 149,第2期,173-225(1999).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.van Raamsdonk}等人,《信息计算》。149,第2173-225号(1999年;兹bl 0920.03024) 全文: 内政部