霍雷修·西尔斯泰;克洛德·基什内尔;拉杜·科佩茨;皮埃尔·埃蒂安·莫罗 基于规则的语言的反模式。 (英语) Zbl 1192.68563号 J.塞姆。计算。 45,第5期,523-550(2010).MSC公司:68吨10 PDF格式BibTeX公司 XML格式引用 \textit{H.Cirstea}等人,J.Symb。计算。45,第5号,523--550(2010;Zbl 1192.68563) 全文: 内政部
克劳斯·皮特·沃思 条件项重写系统的浅汇流。 (英语) Zbl 1156.68028号 J.塞姆。计算。 44,第1期,60-98(2009年).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.-P.Wirth},J.Symb。计算。44,第1号,60--98(2009;Zbl 1156.68028) 全文: 内政部
迈克尔·科尔哈斯;安德烈亚斯·弗兰克 MBase:表示数学软件系统集成的知识和上下文。 (英语) Zbl 0981.68153号 J.塞姆。计算。 32,第4期,365-402(2001).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Kohlhase}和\textit{A.Franke},J.Symb。计算。32,第4号,365--402(2001;Zbl 0981.68153) 全文: 内政部
约琴·多尔;圆,威廉·C。 关于特征代数中的包含和半统一。 (英语) Zbl 0780.68073号 J.塞姆。计算。 13,第4期,441-461(1992).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Dörre}和\textit{W.C.Rounds},J.Symb。计算。13,第4号,441--461(1992;Zbl 0780.68073) 全文: 内政部
何塞·梅塞盖尔;约瑟夫·戈根(Joseph A.Goguen)。;格特·斯莫尔卡 有序统一。 (英语) Zbl 0691.0302号 J.塞姆。计算。 第383-413号第8页(1989年). 审核人:C.Masalagiu MSC公司:03B35型 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人,J.Symb。计算。8,第4号,383--413(1989;Zbl 0691.0302) 全文: 内政部
格特·斯莫尔卡;哈桑·艾特·卡奇 继承层次:语义和统一。 (英语) Zbl 0678.68009号 J.塞姆。计算。 7,编号3-4,343-370(1989).MSC公司:60年第68季度 第68页第15页 68瓦30 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Smolka}和\textit{H.Ait-Kaci},J.Symb。计算。7,编号3--4,343--370(1989;Zbl 0678.68009) 全文: 内政部
纳鸿·德肖维茨 终止重写。 (英语) Zbl 0637.68035号 J.塞姆。计算。 3, 69-115 (1987).MSC公司:第68季度第65季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \文本{N.Dershowitz},J.Symb。计算。3、69-115(1987年;Zbl 0637.68035) 全文: 内政部