乔纳森·赫拉斯;马丁·马特奥斯,弗朗西斯科·杰苏斯;维科·帕斯夸尔 在ACL2中建模代数结构和形态。 (英语) Zbl 1325.68214号 申请。代数工程通讯。计算。 26,第3期,277-303(2015).MSC公司:68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Heras}等人,应用。代数工程通讯。计算。26,第3号,277--303(2015;Zbl 1325.68214) 全文: DOI程序 链接
达尔·齐利奥(Dal Zilio,Silvano);丹尼斯·卢吉兹 XML模式、树逻辑和滑轮自动机。 (英语) Zbl 1107.68048号 申请。代数工程通讯。计算。 17,第5期,337-377(2006).MSC公司:65年第68季度 68第05页 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Dal Zilio}和\textit{D.Lugiez},应用。代数工程通讯。计算。17,第5号,337--377(2006;Zbl 1107.68048) 全文: DOI程序 哈尔
佛罗伦萨伊帕特;玛丽安·盖奥吉;迈克·霍尔科姆 测试(流)X机器。 (英语) Zbl 1023.68023号 申请。代数工程通讯。计算。 14,第3期,217-237(2003).MSC公司:68号30 2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}等人,应用。代数工程通讯。计算。14,第3号,217--237(2003;Zbl 1023.68023) 全文: DOI程序