达格·诺曼 有限类型泛函的丰富层次结构。 (英语) Zbl 1215.03057号 日志。方法计算。科学。 5,第3号,第11号论文,21页(2009年).MSC公司:03D65年 PDF格式BibTeX公司 XML格式引用 \textit{D.Normann},日志。方法计算。科学。5,第3号,第11号论文,21页(2009年;Zbl 1215.03057) 全文: DOI程序 arXiv公司
德克斯特·科赞;尼古拉斯·鲁齐 公制合成的应用。 (英语) Zbl 1187.03028号 日志。方法计算。科学。 5,第3号,第10号论文,19页(2009年).MSC公司:03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen}和\textit{N.Ruozzi},日志。方法计算。科学。5,第3号,第10号论文,19页(2009年;Zbl 1187.03028) 全文: DOI程序 arXiv公司
彼得·汉考克。;尼尔·加尼;德克·帕丁森 使用嵌套不动点的流处理器的表示。 (英语) Zbl 1189.68031号 日志。方法计算。科学。 5,第3号,第9号论文,17页(2009年).MSC公司:68甲18 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Hancock}等人,日志。方法计算。科学。5,第3号,第9号论文,17页(2009年;Zbl 1189.68031) 全文: DOI程序 arXiv公司
Tzevelekos,尼科斯 标称一般参考的完整抽象。 (英语) Zbl 1188.68179号 日志。方法计算。科学。 5,第3号,第8号论文,69页(2009年). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:68问题55 18 C50 68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Tzevelekos},日志。方法计算。科学。5,第3号,第8号论文,69页(2009年;Zbl 1188.68179) 全文: DOI程序 arXiv公司
莫格尔贝里,拉斯穆斯·埃杰勒斯;亚历克斯·辛普森 计算效果的关系参数。 (英语) Zbl 1168.68009号 日志。方法计算。科学。 5,第3期,论文7,31页(2009年).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Mögelberg}和textit{A.Simpson},Log。方法计算。科学。5,第3号,论文7,31页(2009年;Zbl 1168.68009) 全文: DOI程序 arXiv公司
彼得罗·迪·贾南托尼奥;Furio Honsell;玛丽娜·莱妮莎 RPO、二阶上下文和lambda-calculus。 (英语) Zbl 1168.68031号 日志。方法计算。科学。 5,第3期,论文6,35页(2009年).MSC公司:68问题85 03B40型 18A30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Di Gianantonio}等人,日志。方法计算。科学。5,第3号,论文6,35页(2009年;Zbl 1168.68031) 全文: DOI程序
Mikołaj博扬奇克 树上的双向一元时态逻辑。 (英语) Zbl 1168.03009号 日志。方法计算。科学。 5,第3期,论文5,29页(2009年).MSC公司:03B44号 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Bojañczyk},日志。方法计算。科学。5,第3号,论文5,29页(2009年;Zbl 1168.03009) 全文: DOI程序 arXiv公司
菲利普·魏斯;尼尔·伊梅尔曼 词上FO(^{2})的结构定理和严格交替层次。 (英语) Zbl 1168.03019号 日志。方法计算。科学。 5,第3期,论文4,23页(2009年).MSC公司:03C13号机组 03B44号 03C07号机组 05年3月 2017年第68季度 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Weis}和\textit{N.Immerman},Log。方法计算。科学。5,第3号,论文4,23页(2009年;Zbl 1168.03019) 全文: DOI程序 arXiv公司
约翰·范·本特姆;10个Cate,Balder;Väänänen,佐科 一阶逻辑片段的Lindström定理。 (英语) Zbl 1168.03017号 日志。方法计算。科学。 5,第3期,论文3,27页(2009年).MSC公司:03C07号机组 03B20型 03B45号 03B70号 03C40号 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}等人,日志。方法计算。科学。5,第3号,论文3,27页(2009年;Zbl 1168.03017) 全文: DOI程序 arXiv公司
科林·斯特林 高阶匹配的可判定性。 (英语) Zbl 1168.03314号 日志。方法计算。科学。 5,第3期,论文2,52页(2009年).MSC公司:03B25号 03B40型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{C.斯特林},日志。方法计算。科学。5,第3号,论文2,52页(2009年;Zbl 1168.03314) 全文: DOI程序 arXiv公司
迪莉娅·凯斯纳 具有安全和完整组成的显式替换理论。 (英语) Zbl 1168.68008号 日志。方法计算。科学。 5,第3期,论文1,29页(2009年).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kesner},日志。方法计算。科学。5,第3号,论文1,第29页(2009年;兹bl 1168.68008) 全文: DOI程序 arXiv公司