法维奥·埃泽基尔·米兰达·佩雷亚 系统F的两个扩展,具有(co)迭代和原(co)递归原理。 (英语) Zbl 1197.03013号 西奥。通知。申请。 43,第4期,703-766(2009).MSC公司:03B40型 68甲18 68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{F.E.Miranda-Perea},Theor。通知。申请。43,第4号,703--766(2009;Zbl 1197.03013) 全文: 内政部 欧洲DML
卡梅·阿勒瓦雷斯;玛丽亚,塞尔纳 彩色毛虫树的适当间种。 (英语) Zbl 1192.68339号 西奥。通知。申请。 43,第4期,667-686(2009).MSC公司:65年第68季度 68宽10 68兰特 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{C.ali lvarez}和\textit{M.Serna},Theor。通知。申请。43,第4号,667--686(2009;Zbl 1192.68339) 全文: 内政部 Numdam编号 欧洲DML
什特·潘·霍卢布 交换语言的Parikh测试集。 (英语) 兹比尔1149.68068 西奥。通知。申请。 42,第3期,525-537(2008).MSC公司:68升15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{ŠHolub},Theor。通知。申请。42,第3号,525--537(2008;Zbl 1149.68068) 全文: 内政部 欧洲DML
文斯·巴拉尼 具有可判定MSO理论的自动(ω)词的层次结构。 (英语) Zbl 1152.03030号 西奥。通知。申请。 42,第3期,417-450(2008). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:05年3月 03B25号 03D55号 2012年第68季度 65年第68季度 68升15 PDF格式BibTeX公司 XML格式引用 \文本{V.Bárány},Theor。通知。申请。42,编号3417-450(2008年;兹bl 1152.03030) 全文: 内政部 欧洲DML
奥利维尔·卡尔顿;奥利维·芬克尔;皮埃尔·西蒙奈特 关于欧米伽有理函数的连续集。 (英语) Zbl 1149.03028号 西奥。通知。申请。 42,第1期,183-196(2008).MSC公司:05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Carton}等人,Theor。通知。申请。42,第1号,183--196(2008;Zbl 1149.03028) 全文: 内政部 arXiv公司 欧洲DML
马丁·兰格 关于使用Chop检查模型不动点逻辑复杂性的三点说明。 (英语) Zbl 1133.68046号 西奥。通知。申请。 41,第2期,177-190(2007). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:60年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Lange},Theor。通知。申请。41,第2号,177--190(2007;Zbl 1133.68046) 全文: 内政部 Numdam编号 欧洲DML 链接
Jean-Yves拉斐;乔治·路易斯 用于评估软件架构和通信模型一致性的度量。 (英语) Zbl 1101.68472号 西奥。通知。申请。 39,第2期,361-390(2005).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Lafaye}和\textit{G.Louis},Theor。通知。申请。39,第2号,361--390(2005;Zbl 1101.68472) 全文: 内政部 Numdam编号 Numdam编号 欧洲DML
德马尔基,费德里科;尼尔·加尼;克里斯托夫·吕斯 使用余代数求解代数方程。 (英语) Zbl 1038.18005号 西奥。通知。申请。 37,第4号,301-314(2003). 审核人:瓦克拉夫·库贝克(普拉哈) MSC公司:18 C50 18立方厘米 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.De Marchi}等人,Theor。通知。申请。37,第4号,301--314(2003;Zbl 1038.18005) 全文: 内政部 Numdam编号 欧洲DML 链接
阿尔贝托·贝托尼;马西米利亚诺·戈德伍姆;马西莫·桑蒂尼 有限模糊无上下文语言的随机生成。 (英语) Zbl 1005.68091号 西奥。通知。申请。 35,第6号,499-512(2001).MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bertoni}等人,Theor。通知。申请。35,第6号,499--512(2001;Zbl 1005.68091) 全文: 内政部 Numdam编号 欧洲DML 链接
卢卡·埃特罗;Anna Ingólfsdóttir;米克尔·莱克·佩德森;鲍尔森,Jan 定时自动调节的特征公式。 (英语) Zbl 0974.68121号 西奥。通知。申请。 34,第6号,565-584(2000).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。通知。申请。34,第6号,565--584(2000;Zbl 0974.68121) 全文: 内政部 欧洲DML
汉斯·约阿希姆·博肯豪尔;塞巴斯蒂安·塞伯特 旅行推销员问题逼近性的改进下界。 (英语) Zbl 0971.68075号 西奥。通知。申请。 34,第3期,213-255(2000).MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Böckenhauer}和\textit{S.Seibert},Theor。通知。申请。34,第3号,213--255(2000;Zbl 0971.68075) 全文: 内政部 Numdam编号 欧洲DML
安德烈亚·科拉迪尼;法比奥·加杜奇 循环结构的重写:操作描述和范畴描述之间的等价性。 (英语) Zbl 0940.18002号 西奥。通知。申请。 33,No.4-5,467-493(1999).MSC公司:18立方厘米 2012年第68季度 18D05日 18日第10天 2010年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}和\textit{F.Gadducci},Theor。通知。申请。33,编号4--5,467--493(1999;Zbl 0940.18002) 全文: 内政部 欧洲DML 链接
弗拉维奥·科拉迪尼;洛科·德尼古拉;安娜·拉布拉 非确定性正则表达式的有限公理化。 (英语) Zbl 0945.68122号 西奥。通知。申请。 33,No.4-5,447-465(1999).MSC公司:68问题55 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人,Theor。通知。申请。33,编号4--5,447--465(1999;Zbl 0945.68122) 全文: 内政部 欧洲DML 链接
赫尔穆特·塞德尔;达米安·尼文斯基 关于分配不动点表达式。 (英语) Zbl 0945.68127号 西奥。通知。申请。 33,No.4-5,427-446(1999).MSC公司:60年第68季度 03日70 99年6月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Seidl}和\textit{D.Niwin ski},Theor。通知。申请。33,编号4--5,427--446(1999;Zbl 0945.68127) 全文: 内政部 欧洲DML 链接
罗兰·巴克豪斯;Paul Hoogendijk 最后的对话:从类别到寓言。 (英语) Zbl 0943.68014号 西奥。通知。申请。 33,编号4-5,401-426(1999).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}和\textit{P.Hoogendijk},Theor。通知。申请。33,编号4--5,401-426(1999;Zbl 0943.68014) 全文: 内政部 欧洲DML 链接
安德烈·谢皮埃托夫斯基 接受洗牌语言的空间下限。 (英语) Zbl 0951.68067号 西奥。通知。申请。 33,第3期,303-307(1999).MSC公司:65年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Szepietowski},Theor(西奥)。通知。申请。33,第3号,303--307(1999;Zbl 0951.68067) 全文: 内政部 欧洲DML 链接