FUNDAMENTAL-STUDIES - EQUIVALENCES AND TRANSFORMATIONS OF REGULAR SYSTEMS - APPLICATIONS TO RECURSIVE PROGRAM SCHEMES AND GRAMMARS

被引：68

作者：

COURCELLE, B

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1986年 / 42卷 / 01期

关键词：

D O I：

10.1016/0304-3975(86)90050-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：1 / 122

页数：122

相关论文

共 88 条

[1] METRIC INTERPRETATIONS OF INFINITE-TREES AND SEMANTICS OF NON DETERMINISTIC RECURSIVE-PROGRAMS
ARNOLD, A
NIVAT, M
[J]. THEORETICAL COMPUTER SCIENCE, 1980, 11 (02) : 181 - 205
[2] ARNOLD A, 1980, FUNDAMENTA INFORMATI, V3, P445
[3] CAN PROGRAMMING BE LIBERATED FROM VON NEUMANN STYLE - FUNCTIONAL STYLE AND ITS ALGEBRA OF PROGRAMS
BACKUS, J
[J]. COMMUNICATIONS OF THE ACM, 1978, 21 (08) : 613 - 641
[4] BENSON D, 1981, CS81079 WASH STAT U
[5] MINIMAL AND OPTIMAL COMPUTATIONS OF RECURSIVE PROGRAMS
BERRY, G
LEVY, JJ
[J]. JOURNAL OF THE ACM, 1979, 26 (01) : 148 - 175
[6] BERSTEL J, 1979, TRANSDUCTIONS CONTEX
[7] On the structure of abstract algebras
Birkhoff, G
[J]. PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1935, 31 : 433 - 454
[8] VARIETIES OF IF-THEN-ELSE
BLOOM, SL
TINDELL, R
[J]. SIAM JOURNAL ON COMPUTING, 1983, 12 (04) : 677 - 707
[9] ALL SOLUTIONS OF A SYSTEM OF RECURSION EQUATIONS IN INFINITE-TREES AND OTHER CONTRACTION THEORIES
BLOOM, SL
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 27 (02) : 225 - 255
[10] COMPATIBLE ORDERINGS ON THE METRIC THEORY OF TREES
BLOOM, SL
TINDELL, R
[J]. SIAM JOURNAL ON COMPUTING, 1980, 9 (04) : 683 - 691

← 1 2 3 4 5 6 7 8 9 →