学术探索
学术期刊
新闻热点
数据分析
智能评审

THE CATEGORY-THEORETIC SOLUTION OF RECURSIVE DOMAIN EQUATIONS

被引：212
作者：
SMYTH, MB
PLOTKIN, GD
机构：
来源：
SIAM JOURNAL ON COMPUTING | 1982年 / 11卷 / 04期
关键词：
D O I：
10.1137/0211062
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：761 / 783
页数：23
相关论文
共 44 条
[1]  
ADEMEK J, 1974, COMMENT MATH U CAROL, V15, P589
[2]  
ADEMEK J, 1979, J COMPUT SYSTEM SCI, V19, P163
[3]  
ARBIB M, 1975, STRUCTURES FUNCTORS
[4]  
ARBIB MA, 1977, LECT NOTES COMPUTER, V56, P212
[5]  
BANASCHEWSKI B, 1981, LECTURE NOTES MATH, V871
[6]  
BANASCHEWSKI B, 1976, HOUSTON J MATH, V2, P149
[7]   COEQUALIZERS AND FREE TRIPLES [J].
BARR, M .
MATHEMATISCHE ZEITSCHRIFT, 1970, 116 (04) :307-&
[8]   VARIETIES OF ORDERED ALGEBRAS [J].
BLOOM, SL .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 13 (02) :200-212
[9]  
BURGE WH, 1975, RECCURSIVE PROGRAMMI
[10]  
EGLI H, 1976, THEORET COMPUT SCI, V2, P143
12345