FUNDAMENTAL PROPERTIES OF INFINITE-TREES

[1] [Anonymous], 1976, THESIS U PARIS 7

[2] ARNOLD A, 1978, RAIRO-INF THEOR-TH C, V12, P235

[3] METRIC INTERPRETATIONS OF INFINITE-TREES AND SEMANTICS OF NON DETERMINISTIC RECURSIVE-PROGRAMS [J]. THEORETICAL COMPUTER SCIENCE, 1980, 11 (02) : 181 - 205

[4] ARNOLD A, 1980, FUNDAMENTA INFORMATI, V3, P445

[5] BEKIC H, 1969, UNPUB DEFINABLE OPER

[6] BLOOM S, 1981, UNPUB VARIETIES IF T

[7] BLOOM S, UNPUB J COMPUT SYSTE

[8] COMPATIBLE ORDERINGS ON THE METRIC THEORY OF TREES [J]. SIAM JOURNAL ON COMPUTING, 1980, 9 (04) : 683 - 691

[9] SCALAR AND VECTOR ITERATION [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1977, 14 (02) : 251 - 256

[10] SOLUTIONS OF THE ITERATION EQUATION AND EXTENSIONS OF THE SCALAR ITERATION OPERATION [J]. SIAM JOURNAL ON COMPUTING, 1980, 9 (01) : 25 - 45

[1] [Anonymous], 1976, THESIS U PARIS 7

[2] ARNOLD A, 1978, RAIRO-INF THEOR-TH C, V12, P235

[3] METRIC INTERPRETATIONS OF INFINITE-TREES AND SEMANTICS OF NON DETERMINISTIC RECURSIVE-PROGRAMS [J]. THEORETICAL COMPUTER SCIENCE, 1980, 11 (02) : 181 - 205

[4] ARNOLD A, 1980, FUNDAMENTA INFORMATI, V3, P445

[5] BEKIC H, 1969, UNPUB DEFINABLE OPER

[6] BLOOM S, 1981, UNPUB VARIETIES IF T

[7] BLOOM S, UNPUB J COMPUT SYSTE

[8] COMPATIBLE ORDERINGS ON THE METRIC THEORY OF TREES [J]. SIAM JOURNAL ON COMPUTING, 1980, 9 (04) : 683 - 691

[9] SCALAR AND VECTOR ITERATION [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1977, 14 (02) : 251 - 256

[10] SOLUTIONS OF THE ITERATION EQUATION AND EXTENSIONS OF THE SCALAR ITERATION OPERATION [J]. SIAM JOURNAL ON COMPUTING, 1980, 9 (01) : 25 - 45