安德烈·波佩斯库 绑定扩展版本语法的重排和基于重命名的递归。 (英语) Zbl 07722430号 J.汽车。推理 67,第3号,第23号论文,27页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Popescu},J.Autom。推理67,第3号,论文23,27页(2023;Zbl 07722430) 全文: 内政部
多明格斯、杰苏斯;玛丽贝尔·费尔南德斯 原子替换的标称语法。 (英语) 兹比尔1477.68138 J.计算。系统。科学。 119, 34-59 (2021).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Domínguez}和\textit{M.Fernández},J.Compute。系统。科学。119、34-59(2021年;Zbl 1477.68138) 全文: 内政部
毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 关于名词句法和置换不动点。 (英语) Zbl 1528.68152号 日志。计算方法。科学。 16,第1号,第19号论文,36页(2020年).MSC公司:2012年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala Rincón}等人,日志。计算方法。科学。16,第1号,第19号论文,36页(2020年;Zbl 1528.68152) 全文: arXiv公司
毛里西奥·阿亚拉·林科恩;玛丽贝尔·费尔南德斯;丹尼尔·南特斯·索布里尼奥 名义方程统一的定点约束。 (英语) Zbl 1462.68089号 Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第7条,第16页(2018年)。MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón}等人,LIPIcs——莱布尼茨国际程序。通知。108,第7条,第16页(2018;Zbl 1462.68089) 全文: 内政部
默多克·J·加贝。;迈克尔·加巴伊 非类型lambda演算在名义格和拓扑语义中的表示和对偶,以及拓扑完备性的证明。 (英语) 兹比尔1422.03023 Ann.纯粹应用。逻辑 168,第3期,501-621(2017).MSC公司:03B40型 06年50月 03C55号 03G25 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{M.Gabbay},Ann.纯粹应用。逻辑168,No.3,501--621(2017;Zbl 1422.03023) 全文: 内政部 arXiv公司 链接
马修·拉金。;安德鲁·M·皮茨。 高阶类型函数编程中带活页夹的归纳定义的上下文等价性。 (英语) Zbl 1300.68017号 J.功能。程序。 23,第6期,658-700(2013).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Lakin}和\textit{A.M.Pitts},J.Funct。程序。23,第6号,658--700(2013年;兹bl 1300.68017) 全文: 内政部
马修·拉金。;安德鲁·M·皮茨。 编码没有新名称的抽象语法。 (英语) Zbl 1269.68043号 J.汽车。推理 49,第2期,115-140(2012).MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Lakin}和\textit{A.M.Pitts},J.Autom。推理49,No.2,115--140(2012;Zbl 1269.68043) 全文: 内政部
Gilles Dowek;默多克·J·加贝。 PNL到HOL:从标称集逻辑到高阶函数逻辑。 (英语) Zbl 1309.03013号 西奥。计算。科学。 451, 38-69 (2012).MSC公司:03B70号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek}和\textit{M.J.Gabbay},Theor。计算。科学。451、38--69(2012;Zbl 1309.03013) 全文: 内政部 arXiv公司
罗伊·克罗。 阿尔法等价等式。 (英语) Zbl 1244.68030号 西奥。计算。科学。 433, 1-19 (2012).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Crole},Theor(西奥)。计算。科学。433、1-19(2012年;Zbl 1244.68030) 全文: 内政部
默多克·J·加贝。 两级名词集和语义名词术语:处理元变量的名词集理论的扩展。 (英语) Zbl 1228.68022号 数学。结构。计算。科学。 21,第5期,997-1033(2011).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},数学。结构。计算。科学。21,第5号,997--1033(2011;Zbl 1228.68022) 全文: 内政部
默多克·J·加贝。 名词性技术的基础:抽象语法中变量的逻辑和语义。 (英语) Zbl 1253.03059号 牛市。符号。日志。 17,第2期,161-229(2011).MSC公司:03B70号 03B40型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},公牛。符号。日志。17,第2号,161--229(2011;Zbl 1253.03059) 全文: 内政部
默多克·J·加贝。 两级λ-微积分。 (英语) 兹比尔1347.68051 Falaschi,Moreno(编辑),第17届函数和(约束)逻辑编程国际研讨会论文集(WFLP 2008),意大利锡耶纳,2008年7月3日至4日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记246,107-129(2009)。MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},电子。理论注释。计算。科学。246107--129(2009年;Zbl 1347.68051) 全文: 内政部
默多克·J·加贝。;圣埃芬伦格兰 lambda-context演算(扩展版本)。 (英语) Zbl 1192.68137号 Inf.计算。 207,第12期,1369-1400(2009).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{S.Lengrand},信息计算。207,第12号,1369--1400(2009;Zbl 1192.68137) 全文: 内政部
默多克·J·加贝。 使用标称技术和Fraenkel-Mostowksi集合研究替代。 (英语) Zbl 1159.03019号 西奥。计算。科学。 410,编号12-13,1159-1189(2009).MSC公司:03B70号 03E70型 03E75型 68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \文本{M.J.Gabbay},Theor。计算。科学。410,编号12--131159--1189(2009;Zbl 1159.03019) 全文: 内政部
默多克·J·加贝。;迈克尔·加巴伊(Michael J.Gabbay)。 \(a \)-带箭头的逻辑。 (英语) Zbl 1283.03064号 Echahed,Rachid(编辑),第16届函数和(约束)逻辑编程国际研讨会论文集(WFLP 2007),法国巴黎,2007年6月25日。精选论文。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记216,3-29(2008)。MSC公司:03B70号 03B10号机组 03B40型 05年3月 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{M.J.Gabbay},电子。理论注释。计算。科学。216、3--29(2008年;Zbl 1283.03064) 全文: 内政部