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 [J].
ARNOLD, A ;
NIVAT, M .
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 [J].
BACKUS, 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 [J].
BERRY, G ;
LEVY, JJ .
JOURNAL OF THE ACM, 1979, 26 (01) :148-175
[6]  
BERSTEL J, 1979, TRANSDUCTIONS CONTEX
[7]   On the structure of abstract algebras [J].
Birkhoff, G .
PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1935, 31 :433-454
[8]   VARIETIES OF IF-THEN-ELSE [J].
BLOOM, SL ;
TINDELL, R .
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 [J].
BLOOM, SL .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 27 (02) :225-255
[10]   COMPATIBLE ORDERINGS ON THE METRIC THEORY OF TREES [J].
BLOOM, SL ;
TINDELL, R .
SIAM JOURNAL ON COMPUTING, 1980, 9 (04) :683-691
123456789