库卡斯·扎伊卡；Kop，辛西娅 多形高阶终止。 （英语） Zbl 1528.68157号 Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第12条，第18页（2019年）。MSC公司：第68季度第42季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{Ł.Czajka}和\textit{C.Kop}，LIPIcs——莱布尼茨国际程序。通知。131，第12条，第18页（2019；兹bl 1528.68157） 全文： 内政部 arXiv公司
Jean-Pierre Jouannaud；阿尔伯特·鲁比奥 正常高阶终端。 （英语） Zbl 1354.68140号 ACM事务处理。计算。日志。 16，第2号，第13条，38页（2015年）.MSC公司：第68季度第42季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{A.Rubio}，ACM翻译。计算。日志。16，第2号，第13条，38页（2015；Zbl 1354.68140） 全文： 内政部 链接
弗雷德里克·布兰基；Jean-Pierre Jouannaud；阿尔伯特·鲁比奥 可计算性路径排序：任务的结束。 （英语） Zbl 1156.68568号 迈克尔·卡明斯基（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，1-14（2008）。MSC公司：68吨15 03B35型 03B70号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Blanqui}等人，Lect。票据计算。科学。5213，1-14（2008；Zbl 1156.68568） 全文： 内政部 链接
碧姬·品特卡 验证高阶逻辑程序的终止和约简属性。 （英语） Zbl 1102.68648号 J.汽车。推理 34，第2期，179-207（2005）.MSC公司：68吨15 68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{B.Pientka}，J.Autom（J·奥托姆）。推理34，No.2，179--207（2005；Zbl 1102.68648） 全文： 内政部
拉尔夫·马提斯 经典自然演绎的非严格正不动点。 （英语） Zbl 1066.03057号 Ann.纯粹应用。逻辑 133，编号1-3，205-230（2005）. 审核人：M.Yasuhara（普林斯顿） MSC公司：05年3月 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Matthes}，Ann.纯苹果。逻辑133，编号1-3205-230（2005；Zbl 1066.03057） 全文： 内政部
Khasidashvili，Z。 关于正交表达式约简系统中的最长永久约简。 （英语） Zbl 0989.68065号 西奥。计算。科学。 266，编号1-2，737-772（2001）.MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \文本{Z.Khasidashvili}，Theor。计算。科学。266，编号1--2，737--772（2001；Zbl 0989.68065） 全文： 内政部
范·拉姆斯敦克；波拉·塞韦利；索伦森，莫滕·海涅B。；席宏伟 （lambda）-演算的永久约简。 （英语） Zbl 0920.03024号 Inf.计算。 149，第2期，173-225（1999）.MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit{F.van Raamsdonk}等人，《信息计算》。149，第2173-225号（1999年；兹bl 0920.03024） 全文： 内政部
Jean-Pierre Jouannaud；阿尔伯特·鲁比奥 重写\（eta\）-long\（beta\）-normal形式的高阶项的排序和递归路径排序。 （英语） Zbl 0912.68103号 西奥。计算。科学。 208，编号1-2，33-58（1998）.MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{A.Rubio}，Theor。计算。科学。208，编号1--2，33-58（1998；Zbl 0912.68103） 全文： 内政部
Richard迈尔；托比亚斯·尼普科 高阶重写系统及其合流。 （英语） Zbl 0895.68078号 西奥。计算。科学。 192，第1期，3-29页（1998年）.MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Mayr}和\textit{T.Nipkow}，Theor。计算。科学。192，第1号，第3--29号（1998年；Zbl 0895.68078） 全文： 内政部
弗兰克·芬宁 逻辑框架的实践。 （英语） Zbl 1508.68075号 Kirchner，Hélène（编辑），代数和编程中的树——CAAP’96。第21届国际学术讨论会，瑞典林雪平，1996年4月22日至24日。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。1059, 119-134 (1996).MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Pfenning}，莱克特。票据计算。科学。1059、119--134（1996年；Zbl 1508.68075） 全文： 内政部
Jean-Pierre Jouannaud；阿尔伯特·鲁比奥 高阶项的递归路径排序，格式为\（\eta\）-long\（\beta\）-normal。 （英语） Zbl 1503.68119号 Ganzinger，Harald（编辑），重写技术和应用。第七届国际会议，RTA'96，新泽西州新不伦瑞克，美国，1996年7月27日至30日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1103, 108-122 (1996).MSC公司：第68季度第42季度 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}和\textit{A.Rubio}，莱克特。票据计算。科学。1103、108-122（1996年；Zbl 1503.68119） 全文： 内政部
范德波尔（Jaco van de Pol） 两个不同的强规范化证明？ （英语） Zbl 1434.03130号 Dowek，Gilles（编辑）等人，《高阶代数、逻辑和术语重写》。第二次国际研讨会，1995年9月21日至22日，德国帕德博恩，HOA'95。精选论文。柏林：斯普林格。莱克特。票据计算。科学。1074, 201-220 (1996).MSC公司：05年3月 03B40型 第三天65 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{J.van de Pol}，莱克特。票据计算。科学。1074201--220（1996年；Zbl 1434.03130） 全文： 内政部
斯特凡·卡尔斯 变量包含问题。 （英语） Zbl 1407.68090号 Dowek，Gilles（编辑）等人，《高阶代数、逻辑和术语重写》。第二次国际研讨会，1995年9月21日至22日，德国帕德博恩，HOA'95。精选论文。柏林：斯普林格。莱克特。票据计算。科学。1074, 109-123 (1996).MSC公司：68甲18 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Kahrs}，莱克特。票据计算。科学。1074、109--123（1996年；Zbl 1407.68090） 全文： 内政部 链接