哈特穆特·埃里格;汉斯·乔尔格·克鲁斯基;安德烈亚·马吉奥洛·谢蒂尼;巴里·罗森。;乔泽夫·温科夫斯基 结构转换：代数方法。 （英语） 兹伯利0491.68035 数学。系统。理论 14, 305-334 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于14文件 理学硕士： 68问题65 抽象数据类型；代数规范 60年第68季度 规范和验证（程序逻辑、模型检查等） 65年第68季度 形式语言和自动机 第68季度第70季度 语言代数理论与自动机 18B20型 机器、自动机的类别 关键词：结构转换问题的代数和范畴方法;抽象结构转换 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}等人，数学。系统。理论14，305--334（1981；Zbl 0491.68035） 全文： 内政部 参考文献： [1] M.A.Arbib和E.G.Manes，《箭头、结构和函数》，学术出版社，纽约，1975年·Zbl 0374.18001号 [2] G.Berry和J.-J.Levy，递归程序的最小和最优计算，J.ACM 26（1979），148-175·Zbl 0388.68012号 ·数字对象标识代码：10.1145/322108.322122 [3] G.Birkhoff和J.D.Lipson，异质代数，组合理论，8（1970），第115-133页·兹比尔0211.02003 ·doi:10.1016/S0021-9800（70）80014-X [4] V.Claus、H.Ehrig和G.Rozenberg（编辑），《图形语法及其在计算机科学和生物学中的应用》，计算机科学讲义。，73 (1979). ·Zbl 0398.00019号 [5] E.F.Codd，《大型共享数据库的数据关系模型》，ACM委员会，13（1970），第377-387页·Zbl 0207.18003号 ·数字对象标识代码：10.1145/362384.362685 [6] J.A.Darringer和W.H.Joyner，《逻辑综合的新视角》，IBM研究报告RC 8268，纽约约克敦高地，1980年5月。 [7] H.Ehrig和H.-J.Kreowski，对图文法代数理论的贡献，数学。纳克里斯。，出现·Zbl 0388.68061号 [8] H.Ehrig和H.-J.Kreowski，《图文法理论在数据库系统一致性、同步和调度中的应用》，《信息科学》即将出版·Zbl 0456.68096号 [9] H.Ehrig、H.-J.Kreowski、A.Maggiolo-Schettini、B.K.Rosen和J.Winkowski，《从结构中导出结构》，《计算机科学讲义》，64（1978），第177-190页·Zbl 0379.68055号 [10] H.Ehrig、M.Ppender和H.J.Schneider，《图形语法：代数方法》，Proc。第14届IEEE年会。《交换和自动化理论》，爱荷华市，1973年10月，第167-180页。 [11] H.Ehrig和B.K.Rosen，复杂对象上独立变换的交换性，IBM研究报告RC 6251，纽约约克敦高地，1976年10月·Zbl 0357.02034号 [12] H.Ehrig和B.K.Rosen，记录处理的数学，SIAM J.Computing，9（1980），441-469·兹比尔0455.68021 ·数字对象标识代码：10.1137/0209034 [13] H.Ehrig和B.K.Rosen，结构转换的交换性、并行性和并发性，Bericht 79-21，Fachbereich Informatik，柏林科技大学，1979年10月·Zbl 0418.68062号 [14] H.Ehrig和K.W.Tischer，《图形文法及其在生物学专业化和进化中的应用》，《计算机与系统科学杂志》。，11（1975年），第212–236页·Zbl 0326.68055号 ·doi:10.1016/S0022-0000（75）80069-9 [15] S.Eilenberg和J.Wright，《一般代数中的自动机》，《信息与控制》，11（1967），452-470·Zbl 0175.27902号 ·doi:10.1016/S0019-9958（67）90670-5 [16] R.Farrow、K.Kennedy和L.Zucconi，《图形语法和全球程序数据流分析》，Proc。年第17届IEEE交响乐。计算机科学基础。，休斯顿，1976年10月，第42-56页。 [17] H.Herrlich和G.Strecker，《范畴理论》，Allyn和Bacon，新泽西州Rockleigh，1973年·Zbl 0265.18001号 [18] H.-J.Kreowski，Ein Pumpinglemma für Kanten Kontextfreie Graph Sprachen，Bericht 77-15，Fachbereich Informatik，柏林理工大学，1977年9月。（另请参见[4]。）·Zbl 0354.68101号 [19] M.J.O'Donnell，《方程描述的系统中的计算》，《计算机科学讲义》，58（1977）·Zbl 0421.68038号 [20] G.Pacini、C.Montangero和F.Turini，无类型递归语言的图形表示和计算规则，计算机科学讲义，14（1974），第157-169页·Zbl 0297.68072号 [21] Padawitz，P.，《图形语法和操作语义》，Bericht 78-33，Fachbereich Informatik，柏林科技大学，1978年10月。（另请参见[4]。） [22] V.Rajlich，《离散系统动力学》，《计算机与系统科学杂志》。，11（1975年），第186-202页·Zbl 0324.68043号 ·doi:10.1016/S0022-0000（75）80067-5 [23] B.K.Rosen，通过应用产品从图中导出图，《信息学报》，4（1975），第337-357页·doi:10.1007/BF00289616 [24] H.J.Schneider和H.Ehrig，部分图形语法，《信息学报》，6（1976），第297–316页·兹伯利0329.68061 ·doi:10.1007/BF00288659 [25] J.Staples，一类具有简单优化理论的替代系统，布尔。南方的。数学。《社会学杂志》，17（1977），第335-350页·Zbl 0383.68062号 ·doi:10.1017/S0004972700010625 [26] J.Staples，类图形表达式的计算，理论计算机科学。，10 (1980), 171–185. ·Zbl 0423.68007号 ·doi:10.1016/0304-3975（80）90013-4 [27] J.Staples，图形表达式的最佳评估，理论计算机科学。，10 (1980), 297–316. ·Zbl 0426.68006号 ·doi:10.1016/0304-3975（80）90051-1 [28] J.Staples，加速子树替换系统，理论计算机科学。，11 (1980), 39–47. ·Zbl 0438.68032号 ·doi:10.1016/0304-3975（80）90033-X [29] S.A.Vere，《关系生产系统》，《人工智能》，第8期（1977年），第47-68页·Zbl 0347.68050号 ·doi:10.1016/0004-3702（77）90004-2 [30] J.Vuillemin，简单编程语言中递归的正确和优化实现，J.计算机与系统科学。，9（1974），第332–354页·doi:10.1016/S0022-0000（74）80048-6 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。