特默尔库西亚 与序列变量和灵活的arity符号的统一及其与模式项的扩展。 （英语） Zbl 1072.68580号 Calmet，Jacques（编辑）等人，《人工智能、自动推理和符号计算》。联合国际会议：AISC 2002，第六届人工智能和符号计算国际会议，Calculemus 2002，第十届符号计算与机械化推理集成研讨会。2002年7月1日至5日，法国马赛。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43865-3）。莱克特。注释计算。科学。2385, 290-304 (2002). 摘要：描述了具有独立变量和序列变量、自由常数以及自由固定和灵活的arity函数符号的理论的最小和完整的统一过程，并简要概述了带有模式项的扩展。有关整个系列，请参见[Zbl 0993.00048号]. 引用于6文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：数学软件 PDF格式BibTeX公司 XML格式引用 \textit{T.库西亚}，莱克特。注释计算。科学。2385290-304（2002年；Zbl 1072.68580） 全文： 链接