阿尔伯特·维瑟 关于波兰符号的歧义。 (英语) Zbl 1222.68112号 西奥。计算。科学。 412,第28号,3404-3411(2011)。 审核人:朱尼斯·切鲁利斯(里加) MSC公司:65年第68季度 18日第10天 20毫米35 PDF格式BibTeX公司 XML格式引用 \文本{A.Visser},Theor。计算。科学。412,第28号,3404--3411(2011;Zbl 1222.68112) 全文: 内政部
J.V.塔克。;朱克,J.I。 连续和离散时间流上算子的连续性。 (英语) Zbl 1251.68141号 西奥。计算。科学。 412,第28号,3378-3403(2011)。MSC公司:68问题55 2010年第68季度 54立方厘米 54H25个 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker},Theor。计算。科学。412,第28号,3378--3403(2011;Zbl 1251.68141) 全文: 内政部
彼得·罗登堡。;扬·威廉·克鲁普;科曼斯,喀斯特;乔斯·弗兰肯 由\(\delta\)、\(\epsilon\)和\(\tau\)生成的自由进程代数。 (英语) Zbl 1216.68195号 西奥。计算。科学。 412,第28号,3370-3377(2011)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Rodenburg}等人,Theor。计算。科学。412,第28号,3370--3377(2011;Zbl 1216.68195) 全文: 内政部
Larsen,Kim G。;乌里·法伦贝格;克劳斯·苏兰 加权转移系统的度量:公理化和复杂性。 (英语) Zbl 1216.68191号 西奥。计算。科学。 412,第28号,3358-3369(2011)。MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Theor。计算。科学。412,第28号,3358--3369(2011;Zbl 1216.68191) 全文: 内政部 哈尔
杰拉尔德·吕特根;沃尔特·福格勒 使用逻辑LTS进行安全推理。 (英语) Zbl 1216.68193号 西奥。计算。科学。 412,第28号,3337-3357(2011)。MSC公司:68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Lüttgen}和\textit{W.Vogler},Theor。计算。科学。412,第28号,3337-3357(2011;Zbl 1216.68193) 全文: 内政部
巴特·雅各布斯 概率、分布单子和凸范畴。 (英语) Zbl 1218.18003号 西奥。计算。科学。 412,第28号,3323-3336(2011)。MSC公司:18立方厘米 03G12号机组 18立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{B.雅各布斯},Theor。计算。科学。412,第28号,3323--3336(2011;Zbl 1218.18003) 全文: 内政部
彼得·霍夫纳;伯恩哈德·莫勒 修复Zeno间隙。 (英语) 兹比尔1227.68079 西奥。计算。科学。 412,第28号,3303-3322(2011)。 审核人:赛义德·萨利希(大不里士) MSC公司:99年第68季度 70年第68季度 68问题85 37N99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}和\textit{B.Möller},Theor。计算。科学。412,第28号,3303--3322(2011;Zbl 1227.68079) 全文: 内政部 链接
范·格拉贝克,R.J。 弱互模拟的冷同余格式。 (英语) Zbl 1216.68199号 西奥。计算。科学。 412,第28号,3283-3302(2011)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \文本{R.J.van Glabbeek},Theor。计算。科学。412,第28号,3283--3302(2011;Zbl 1216.68199) 全文: 内政部 链接
法特梅·加塞米;Wan Fokkink公司;阿里·莫瓦加尔 移动自组网的验证:代数方法。 (英语) Zbl 1216.68160号 西奥。计算。科学。 412,编号28,3262-3282(2011)。MSC公司:60年第68季度 2007年7月68日 68个M12 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Ghassemi}等人,Theor。计算。科学。412,第28号,3262-3282(2011;Zbl 1216.68160) 全文: 内政部
赫尔曼·格乌弗斯;罗伯特·克雷伯斯 纽曼典型性算法及其一些扩展的正确性。 (英语) 兹伯利1221.03016 西奥。计算。科学。 412,编号28,3242-3261(2011)。MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \textit{H.Geuvers}和\textit{R.Krebbers},Theor。计算。科学。412,第28号,3242-3261(2011;Zbl 1221.03016) 全文: 内政部
哈维尔·埃斯帕尔扎;斯特凡·基弗;迈克尔·卢滕伯格 用于加速不动点计算的衍生树分析。 (英语) Zbl 1218.68102号 西奥。计算。科学。 412,第28号,3226-3241(2011)。MSC公司:68问题65 2016年60月 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,Theor。计算。科学。412,第28号,3226--3241(2011;Zbl 1218.68102) 全文: 内政部
恩德鲁利斯,约尔格;迪米特里·亨德里克斯 通过终止提高生产率。 (英语) Zbl 1216.68136号 西奥。计算。科学。 412,第28号,3203-3225(2011)。MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Endrullis}和\textit{D.Hendriks},Theor。计算。科学。412,第28号,3203--3225(2011;Zbl 1216.68136) 全文: 内政部
恩德鲁利斯,约尔格;克莱门斯,抓斗手;扬·威廉·克鲁普;文森特·范·奥斯特罗姆 在相等的条件下。 (英语) Zbl 1227.68041号 西奥。计算。科学。 412,第28号,3175-3202(2011)。 审核人:赛义德·萨利希(大不里士) MSC公司:2012年第68季度 03年2月25日 03B40型 PDF格式BibTeX公司 XML格式引用 \文本{J.Endrullis}等人,Theor。计算。科学。412,编号283175-3202(2011年;兹bl 1227.68041) 全文: 内政部
拉兹万·迪亚科内斯库;Ţuţu,伊奥努 关于结构化规范的代数。 (英语) Zbl 1252.68199号 西奥。计算。科学。 412,第28号,3145-3174(2011)。MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{I.u u},Theor。计算。科学。412,第28号,3145-3174(2011;Zbl 1252.68199) 全文: 内政部
德克·范·达伦 Brouwer不动点和Sperner引理。 (英语) Zbl 1220.03051号 西奥。计算。科学。 412,第28号,3140-3144(2011)。MSC公司:03楼55 03-03 54H25个 PDF格式BibTeX公司 XML格式引用 \文本{D.van Dalen},Theor。计算。科学。412,第28号,3140--3144(2011;Zbl 1220.03051) 全文: 内政部
斯乔德·克兰恩;格罗特,扬·弗里索;米歇尔·雷尼尔斯 从CTL到一阶模态演算的线性转换。 (英语) Zbl 1216.68188号 西奥。计算。科学。 412,第28号,3129-3139(2011)。MSC公司:68问题85 03B44号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Cranen}等人,Theor。计算。科学。412,第28号,3129--3139(2011;Zbl 1216.68188) 全文: 内政部
Jan A.Bergstra。;范德波尔(Jaco van de Pol) 四值序列逻辑的微积分。 (英语) Zbl 1227.03028号 西奥。计算。科学。 412,编号28,3122-3128(2011)。 审核人:Albert Hoogewijs(根特) MSC公司:03B50号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.van de Pol},Theor。计算。科学。412,第28号,3122--3128(2011;Zbl 1227.03028) 全文: 内政部 链接
塞巴斯蒂安·鲍尔。;罗尔夫·亨尼克;马丁·威尔辛 并发和数据的接口理论。 (英语) Zbl 1216.68187号 西奥。计算。科学。 412,第28号,3101-3121(2011)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,Theor。计算。科学。412,编号28,3101-3121(2011年;兹bl 1216.68187) 全文: 内政部
Jos C.M.Baeten。;巴斯·卢提克 无戒备主要意味着许多解决方案。 (英语) Zbl 1216.68185号 西奥。计算。科学。 412,第28号,3090-3100(2011)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{B.Luttik},Theor。计算。科学。412,第28号,3090--3100(2011;Zbl 1216.68185) 全文: 内政部
米盖尔·安德烈斯。;卡图西亚帕拉米德斯;彼得·范·罗苏姆;安娜·索科洛娃 概率并发系统中的信息隐藏。 (英语) Zbl 1216.68182号 西奥。计算。科学。 412,第28号,3072-3089(2011)。MSC公司:68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Andrés}等人,Theor。计算。科学。412,第28号,3072--3089(2011;Zbl 1216.68182) 全文: 内政部
卢卡·埃特罗;Cimini,马泰奥;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 零元素和单位元素的SOS规则格式。 (英语) Zbl 1216.68152号 西奥。计算。科学。 412,第28号,3045-3071(2011)。MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。412,第28号,3045--3071(2011;Zbl 1216.68152) 全文: 内政部
卢卡·埃特罗;陈、陶璐;安娜·英格尔夫斯多蒂;巴斯·卢提克;范德波尔(Jaco van de Pol) 关于优先权的公理化。二、。 (英语) 兹比尔1216.68181 西奥。计算。科学。 412,第28号,3035-3044(2011)。MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。412,第28号,3035--3044(2011;Zbl 1216.68181) 全文: 内政部