默多克·J·加贝。 分层集的语言是合流的和强正规化的。 （英语） Zbl 1476.68120号 日志。方法计算。科学。 14，第2号，第12号论文，34页（2018年）.MSC公司：2012年第68季度 03B70号 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}，日志。方法计算。科学。14，第2号，第12号论文，34页（2018；Zbl 1476.68120） 全文： 内政部 arXiv公司
默多克·J·加贝。 上下文外语义：一阶逻辑和计算的绝对名词表示。 （英语） Zbl 1426.68158号 美国临床医学杂志 63，第3号，第25条，第66页（2016）.MSC公司：68问题55 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}，J.ACM 63，第3号，第25条，66页（2016；Zbl 1426.68158） 全文： 内政部 arXiv公司
默多克·J·加贝。 元变量作为名词术语统一和重写的无限列表。 （英语） Zbl 1278.68119号 日志。J.IGPL公司 20，第6期，967-1000（2012）. 审核人：Temur Kutsia（林茨） MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}，日志。J.IGPL 20，第6号，967--1000（2012；Zbl 1278.68119） 全文： 内政部
默多克·J·加贝。 标称代数和逻辑中的有限和无限支持：免费的标称完整性定理。 （英语） Zbl 1251.03035号 J.塞姆。日志。 77，第3期，828-852（2012）.MSC公司：03B70号 03C98号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}，J.Symb。日志。77，第3号，828--852（2012；Zbl 1251.03035） 全文： 内政部 arXiv公司 欧几里得
默多克·J·加贝。 名词性方程式推理的统一：名词集合上的等式代数。 （英语） Zbl 1239.03019号 J.应用。日志。 10，第2期，199-217（2012）.MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \文本｛M.J.Gabbay｝，J.Appl。日志。10，第2号，199--217（2012；Zbl 1239.03019） 全文： 内政部
默多克·J·加贝。;亚德·马蒂杰森 标称（通用）代数：具有名称和约束的方程逻辑。 （英语） Zbl 1191.08003号 J.日志。计算。 19，第6期，1455-1508（2009）.MSC公司：08A70号 03C05号机组 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{A.Mathijssen}，J.Log。计算。19，第6号，1455--1508（2009；Zbl 1191.08003） 全文： 内政部 链接
默多克·J·加贝。 名义代数和HSP定理。 （英语） Zbl 1163.03017号 J.日志。计算。 19，第2期，341-367（2009）.MSC公司：03C05号机组 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}，J.Log。计算。19，第2号，341--367（2009；Zbl 1163.03017） 全文： 内政部
默多克·J·加贝。;亚德·马蒂杰森 lambda-calculus是名义代数。 （英语） Zbl 1226.03028号 Benzmüller，Christoph（编辑）等人，《简单类型理论中的推理》。庆祝彼得·安德鲁斯70岁生日。伦敦：学院出版物（ISBN 978-1-904987-70-3/pbk）。逻辑研究（伦敦）17。《数学逻辑与基础》，271-302（2008）。MSC公司：03B40型 03G25号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{A.Mathijssen}，Stud.Log。（伦敦）17，271--302（2008；Zbl 1226.03028）
默多克·J·加贝。;亚德·马蒂杰森 作为名义代数的避免捕获的替换。 （英语） Zbl 1152.68025号 正式Asp。计算。 20，编号4-5，451-479（2008）.MSC公司：2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{A.Mathijssen}，正式Asp。计算。20，编号4--5，451--479（2008；Zbl 1152.68025） 全文： 内政部