EQUATIONAL LOGIC OF CIRCULAR DATA TYPE SPECIFICATION

被引：12
作者：
BLOOM, SL [1 ]
ESIK, Z [1 ]
机构：
[1] ATTILA JOZSEF UNIV,BOLYAI INST,H-6701 SZEGED,HUNGARY
来源：
THEORETICAL COMPUTER SCIENCE | 1989年 / 63卷 / 03期
关键词：
39;
D O I：
10.1016/0304-3975(89)90012-1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：303 / 331
页数：29
相关论文
共 40 条
[1]   VARIETORS AND MACHINES IN A CATEGORY [J].
ADAMEK, J ;
TRNKOVA, V .
ALGEBRA UNIVERSALIS, 1981, 13 (01) :89-132
[2]  
ADAMEK J, 1974, COMMENT MATH U CAROL, P589
[3]   PARTIALLY ADDITIVE CATEGORIES AND FLOW-DIAGRAM SEMANTICS [J].
ARBIB, MA ;
MANES, EG .
JOURNAL OF ALGEBRA, 1980, 62 (01) :203-227
[4]  
ARBIB MA, 1974, LECTURE NOTES COMPUT, V25
[5]  
BARR M, 1974, J PURE APPL ALGEBRA, V5, P1
[6]   ITERATIVE AND RECURSIVE MATRIX THEORIES [J].
BENSON, DB ;
GUESSARIAN, I .
JOURNAL OF ALGEBRA, 1984, 86 (02) :302-314
[7]   RECURSION AND ITERATION IN CONTINUOUS THEORIES - THE M-CONSTRUCTION [J].
BLOOM, SL ;
THATCHER, JW ;
WAGNER, EG ;
WRIGHT, JB .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 27 (02) :148-164
[8]   AXIOMATIZING SCHEMES AND THEIR BEHAVIORS [J].
BLOOM, SL ;
ESIK, Z .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1985, 31 (03) :375-393
[9]   VARIETIES OF ITERATION THEORIES [J].
BLOOM, SL ;
ESIK, Z .
SIAM JOURNAL ON COMPUTING, 1988, 17 (05) :939-966
[10]   VECTOR ITERATION IN POINTED ITERATIVE THEORIES [J].
BLOOM, SL ;
ELGOT, CC ;
WRIGHT, JB .
SIAM JOURNAL ON COMPUTING, 1980, 9 (03) :525-540
1234