TRANSFORMATIONS OF STRUCTURES - AN ALGEBRAIC APPROACH

被引：34

作者：

EHRIG, H

KREOWSKI, HJ

MAGGIOLOSCHETTINI, A

ROSEN, BK

WINKOWSKI, J

机构：

[1] UNIV PISA,IST SCI INFORMAZIONE,I-56100 PISA,ITALY

[2] IBM CORP,THOMAS J WATSON RES CTR,DEPT COMP SCI,YORKTOWN HTS,NY 10598

[3] POLISH ACAD SCI,INST FUNDAMENTAL INFORMAT,PL-00901 WARSAW,POLAND

来源：

MATHEMATICAL SYSTEMS THEORY | 1981年 / 14卷 / 04期

关键词：

D O I：

10.1007/BF01752403

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：305 / 334

页数：30

共 29 条

[1] Arbib Michael A., 1975, ARROWS STRUCTURES FU
[2] MINIMAL AND OPTIMAL COMPUTATIONS OF RECURSIVE PROGRAMS
BERRY, G
LEVY, JJ
[J]. JOURNAL OF THE ACM, 1979, 26 (01) : 148 - 175
[3] Birkhoff G., 1970, J COMBINATORIAL THEO, V8, P115, DOI DOI 10.1016/S0021-9800(70)80014-X
[4] CLAUS V, 1979, LECTURE NOTES COMPUT, V73
[5] CODD EF, 1970, COMMUN ACM, V13, P377, DOI [10.1145/362384.362685, 10.1145/357980.358007]
[6] DARRINGER JA, 1980, RC8268 IBM RES REP
[7] Ehrig H., 1973, 14th Annual Symposium on Switching Automata Theory, P167, DOI 10.1109/SWAT.1973.11
[8] THE MATHEMATICS OF RECORD HANDLING
EHRIG, H
ROSEN, BK
[J]. SIAM JOURNAL ON COMPUTING, 1980, 9 (03) : 441 - 469
[9] GRAPH GRAMMARS AND APPLICATIONS TO SPECIALIZATION AND EVOLUTION IN BIOLOGY
EHRIG, H
TISCHER, KW
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1975, 11 (02) : 212 - 236
[10] EHRIG H, UNPUBLISHED