Jean-Pierre Jouannaud 句法理论。 （英语） Zbl 0790.68103号 计算机科学数学基础。第十五交响曲。，MFCS’90，BanskáBystrica/捷克。1990年，法律。注释计算。科学。452, 15-25 (1990). 关于整个系列，请参见[Zbl 0796.68140号]. 引用于2文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 03立方厘米35 证明和逻辑操作的机械化 68宽10 计算机科学中的并行算法 关键词：证明程序的复杂性 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Jouannaud}，莱克特。注释计算。科学。无，15-25（1990年；Zbl 0790.68103）