卡米洛·索恩;迭戈·卡尔瓦内斯 用于数据访问的受控语言的可移植性和难处理性。 (英语) 兹比尔1252.03073 螺柱日志。 100,第4期,787-813(2012).MSC公司:03B65号 68立方英尺 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{C.Thorne}和\textit{D.Calvanese},Stud.Log。100,编号4,787-813(2012年;兹bl 1252.03073) 全文: DOI程序
塔马尔·艾齐科维茨;尼西姆·弗朗西兹;丹尼尔·根金;迈克尔·卡明斯基 用下限扩展自由预群。 (英语) Zbl 1228.03013号 螺柱日志。 95,第3期,417-441(2010). 审核人:玛丽·杜日伊(俄斯特拉发) MSC公司:03B65号 03B47号 03G25号 99年6月 2012年第68季度 70年第68季度 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{T.Aizikowitz}等人,研究日志。95,第3号,417--441(2010;Zbl 1228.03013) 全文: DOI程序
安妮·普雷勒 预分组线性处理。 (英语) Zbl 1132.03011号 螺柱日志。 87,第2-3号,171-197(2007).MSC公司:03B65号 2012年第68季度 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{A.Preller},螺柱日志。87,No.2--3,171--197(2007;Zbl 1132.03011) 全文: DOI程序 链接
丹尼斯·贝切特;安妮·福雷特;泰勒,伊莎贝尔 预分组语法的可学习性。 (英语) Zbl 1128.68042号 螺柱日志。 87,编号2-3225-252(2007).MSC公司:第68季度32 2012年第68季度 03B65号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{D.Béchet}等人,研究日志。87,编号2--3225-252(2007;Zbl 1128.68042) 全文: DOI程序 链接
约翰·索瓦(John F.Sowa)。 世界、模型和描述。 (英语) Zbl 1115.03012号 螺柱日志。 84,第2期,323-360(2006). 审核人:伯恩哈德·海尼曼(黑根) MSC公司:03B45号 03B65号 68T50型 91层20 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Sowa},研究日志。84,第2号,323--360(2006;Zbl 1115.03012) 全文: DOI程序
瓦利德·萨巴。;Jean-Pierre科里沃 合理推理和量词范围歧义的解决。 (英语) Zbl 0976.68147号 螺柱日志。 67,第2期,271-289(2001).MSC公司:68立方英尺 68T27型 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{W.S.Saba}和\textit{J.-P.Corriveau},研究日志。67,第2号,271--289(2001;Zbl 0976.68147) 全文: DOI程序
雅切克·马西尼亚克 无限集统一与范畴语法的应用。 (英语) Zbl 0880.03011号 螺柱日志。 58,第339-355号(1997年).MSC公司:03B65号 68T05型 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{J.Marciniec},研究日志。58,第3号,339--355(1997;Zbl 0880.03011) 全文: DOI程序
沃伊切赫·巴斯科夫斯基;杰拉尔德·佩恩 通过统一从语言数据中确定的范畴语法。 (英语) Zbl 0718.03020号 螺柱日志。 49,No.4,431-454(1990).MSC公司:03B65号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{W.Buszkowski}和\textit{G.Penn},Stud.Log。49,No.4,431--454(1990;Zbl 0718.03020) 全文: DOI程序
乌苏拉州Wybraniec-Skardowska 关于理想语言实体的可消除性。 (英语) Zbl 0704.03010号 螺柱日志。 48,第4期,587-615(1989). 审核人:Urszula Wybraniec-Skardowska公司 MSC公司:03B65号 03A05号 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{U.Wybraniec-Skardowska},研究日志。48,第4号,587--615(1989;Zbl 0704.03010) 全文: DOI程序
帕维尔·克里泽克 把句子改写成公式。 (英语) Zbl 0406.03012号 螺柱日志。 37, 115-128 (1978).MSC公司:03B10号机组 65年第68季度 68问题55 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{P.Krizek},研究日志。37、115-128(1978;Zbl 0406.03012) 全文: DOI程序