Kim、Ik-Soon;Yi,Kwangkeun先生 使用A*算法修复LR错误。 (英语) Zbl 1186.68094号 学报信息。 第3期第47页,第179-207页(2010年).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{I.-S.Kim}和\textit{K.Yi},《学报》第47期,第3期,179--207(2010;Zbl 1186.68094) 全文: 内政部
卢卡·埃特罗;Wan Fokkink公司;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维 提升非有限公理化性的结果是过程代数的扩张。 (英语) Zbl 1186.68313号 学报信息。 47,第3期,147-177(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《信息学报》47,第3期,147--177(2010年;Zbl 1186.68313) 全文: 内政部 链接