帕特里克·维里 重写逻辑的等式规则。 (英语) Zbl 1001.68058号 西奥。计算。科学。 285,第2期,487-517(2002).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Viry},Theor发短信。计算。科学。285,第2号,487-517(2002年;兹bl 1001.68058) 全文: 内政部
拉兹万·迪亚科内斯库;高基町五指 CafeOBJ的逻辑基础。 (英语) Zbl 1001.68079号 西奥。计算。科学。 285,第2期,289-318(2002).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}和\textit{K.Futatsugi},Theor。计算。科学。285,第2号,289--318(2002;Zbl 1001.68079) 全文: 内政部
彼得·博罗万斯克;克洛德·基什内尔;赫莱内·基什内尔;皮埃尔·埃蒂安·莫罗 从重写逻辑的角度来看,ELAN。 (英语) Zbl 1001.68057号 西奥。计算。科学。 285,第2期,155-185(2002).MSC公司:2012年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Borovanskí}等人,Theor。计算。科学。285,第2号,155--185(2002;Zbl 1001.68057) 全文: 内政部