ALGEBRAIC AND FIXED-POINT EQUATIONS OVER INVERSE LIMITS OF ALGEBRAS

被引:15
作者
STOLTENBERGHANSEN, V [1 ]
TUCKER, JV [1 ]
机构
[1] UNIV COLL SWANSEA,DEPT MATH & COMP SCI,SWANSEA SA2 8PP,W GLAM,WALES
关键词
D O I
10.1016/S0304-3975(06)80002-2
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
[No abstract available]
引用
收藏
页码:1 / 24
页数:24
相关论文
共 19 条
[1]  
ARNOLD A, 1980, MATH SYST THEORY, V13, P219
[2]   METRIC INTERPRETATIONS OF INFINITE-TREES AND SEMANTICS OF NON DETERMINISTIC RECURSIVE-PROGRAMS [J].
ARNOLD, A ;
NIVAT, M .
THEORETICAL COMPUTER SCIENCE, 1980, 11 (02) :181-205
[3]  
ARNOLD A, 1980, FUND INFORM, V4, P445
[4]  
BAETEN JCM, 1985, CWI CSR8521 REP
[5]  
BAETEN JCM, 1986, PROCESS ALGEBRA
[6]  
BAETEN JCM, 1985, CWI CSR8517 REP
[7]   PROCESS ALGEBRA FOR SYNCHRONOUS COMMUNICATION [J].
BERGSTRA, JA ;
KLOP, JW .
INFORMATION AND CONTROL, 1984, 60 (1-3) :109-137
[8]  
BERGSTRA JW, 1985, CWI CSR8523 REP
[9]   INFINITE TREES IN NORMAL FORM AND RECURSIVE EQUATIONS HAVING A UNIQUE SOLUTION [J].
COURCELLE, B .
MATHEMATICAL SYSTEMS THEORY, 1979, 13 (02) :131-180
[10]  
DEBAKKER JW, 14TH P ACM S THEOR C, P153