薛涛;罗朝晖;斯特吉奥斯·查齐基里亚基迪斯 判断性解释的命题形式。 (英语) Zbl 07753648号 J.逻辑语言信息。 32,第4期,733-758(2023年).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Xue}等人,J.Logic Lang.Inf.32,No.4,733--758(2023;Zbl 07753648) 全文: 内政部
斯特吉奥斯·查齐基里亚基迪斯;罗朝晖 MTT语义的分级性。 (英语) Zbl 07570773号 奥兹根、艾布克(编辑)等人,《语言、逻辑和计算》。第十三届第比利斯国际研讨会,2019年TbiLLC,格鲁吉亚巴统,2019月16-20日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13206:38-59(2022)。MSC公司:03B65号 03B38型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Chatzikyriakidis}和\textit{Z.Luo},Lect。注释计算。科学。13206,38-59(2022;Zbl 07570773) 全文: 内政部
斯特吉奥斯·查齐基里亚基迪斯;罗朝晖 形容词和状语修饰:现代类型理论的观点。 (英语) 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) 全文: 内政部
斯特吉奥斯·查齐基里亚基迪斯;罗朝晖 自然语言语义的证明助手。 (英语) Zbl 1483.68456号 Amblard,Maxime(编辑)等人,《计算语言学的逻辑方面》。庆祝LACL成立20周年(1996-2016)。2016年12月5日至7日在法国南希举行的LACL 2016第九届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10054, 85-98 (2016).MSC公司:68T50型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Chatzikyriakidis}和\textit{Z.Luo},Lect。注释计算。科学。10054,85-98(2016年;兹比尔1483.68456) 全文: 内政部
斯特吉奥斯·查齐基里亚基迪斯;罗朝晖 个性化标准、点类型和预测:现代类型理论的观点。 (英语) Zbl 1376.68139号 Kuhlmann,Marco(编辑)等人,第14次语言数学会议。会议记录,MoL 14,芝加哥,伊利诺伊州,美国,2015年7月25日至26日。宾夕法尼亚州斯特劳德斯堡:计算语言学协会(ISBN 978-1-941643-56-3)。39-50 (2015).MSC公司:68T50型 03B65号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Chatzikyriakidis}和\textit{Z.Luo},in:第十四届语言数学会议。会议记录,MoL 14,芝加哥,伊利诺伊州,美国,2015年7月25-26日。宾夕法尼亚州斯特劳德斯堡:计算语言学协会。39-50(2015年;Zbl 1376.68139) 全文: 链接
斯特吉奥斯·查齐基里亚基迪斯;罗朝晖 Coq中的自然语言推理。 (英语) Zbl 1305.68193号 J.逻辑语言信息。 23,第4期,441-480(2014).MSC公司:68T50型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Chatzikyriakidis}和\textit{Z.Luo},J.Logic Lang.Inf.23,No.4,441--480(2014;Zbl 1305.68193) 全文: 内政部