薛涛;罗朝晖;斯特吉奥斯查齐基里亚基迪斯 判断性解释的命题形式。 (英语) Zbl 07753648号 J.逻辑语言信息。 32,编号4,733-758(2023).MSC公司:03年XX月 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{T.Xue}等人,J.Logic Lang.Inf.32,No.4,733--758(2023;Zbl 07753648) 全文: 内政部
斯特吉奥斯查齐基里亚基迪斯;罗朝晖 形容词和状语修饰:现代类型理论的观点。 (英语) Zbl 1420.03055号 J.逻辑语言信息。 26,第1期,45-88(2017).MSC公司:03B65号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Chatzikyriakidis}和\textit{Z.Luo},J.Logic Lang.Inf.26,No.1,45-88(2017;Zbl 1420.03055) 全文: 内政部
斯特吉奥斯查齐基里亚基迪斯;罗朝晖 Coq中的自然语言推理。 (英语) Zbl 1305.68193号 J.逻辑语言信息。 23,第4期,441-480(2014).MSC公司:68T50型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Chatzikyriakidis}和\textit{Z.Loo},《逻辑语言》杂志,第23期,第441-480期(2014年;Zbl 1305.68193) 全文: 内政部
费尔鲁兹Kamareddine;罗伯·奈德佩尔特 德布鲁因数学形式语言的精化。 (英语) Zbl 1048.03011号 逻辑语言信息。 13,第3期,287-340(2004).MSC公司:03B30型 00A35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}和\textit{R.Nederpelt},J.Logic Lang.Inf.13,No.3,287--340(2004;Zbl 1048.03011) 全文: 内政部
费尔鲁兹Kamareddine;特温·拉恩 马丁·洛夫类型理论、类型分支理论和纯类型系统之间的对应关系。 (英语) 兹比尔0977.03011 J.逻辑语言信息。 10,第3期,375-402(2001).MSC公司:03B35型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}和\textit{T.Laan},J.Logic Lang.Inf.10,No.3,375--402(2001;Zbl 0977.03011) 全文: 内政部