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 [J].

BERRY, G ;

LEVY, JJ .

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 [J].

EHRIG, H ;

ROSEN, BK .

SIAM JOURNAL ON COMPUTING, 1980, 9 (03) :441-469

[9] GRAPH GRAMMARS AND APPLICATIONS TO SPECIALIZATION AND EVOLUTION IN BIOLOGY [J].

EHRIG, H ;

TISCHER, KW .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1975, 11 (02) :212-236

[10]

EHRIG H, UNPUBLISHED

← 1 2 3 →