COMPLETENESS RESULTS FOR EQUIVALENCE OF RECURSIVE SCHEMAS

被引：14

|

作者：

COURCELLE, B ^{[1
]}

VUILLEMIN, J ^{[1
]}

机构：

[1] INST RECH INFORMATIQUE AUTOMATIQUE,F-78150 LE CHESNAY,FRANCE

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1976年 / 12卷 / 02期

关键词：

D O I：

10.1016/S0022-0000(76)80036-0

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：179 / 197

页数：19

相关论文

共 50 条

[1] A coinductive completeness proof for the equivalence of recursive types
Cardone, F
[J]. THEORETICAL COMPUTER SCIENCE, 2002, 275 (1-2) : 575 - 587
[2] THE TREE-EQUIVALENCE PROBLEM FOR LINEAR RECURSIVE SCHEMAS
SABELFELD, VK
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 1994, 20 (06) : 258 - 274
[3] Completeness results for recursive data bases
Hirst, T
Harel, D
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1996, 52 (03) : 522 - 536
[4] Causal Identification under Markov Equivalence: Completeness Results
Jaber, Amin
Zhang, Jiji
Bareinboim, Elias
[J]. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 97, 2019, 97
[5] LANGUAGES OF INTERPRETATION OF RECURSIVE SCHEMAS
COUSINEAU, FG
RIFFLET, JM
[J]. REVUE FRANCAISE D AUTOMATIQUE INFORMATIQUE RECHERCHE OPERATIONNELLE, 1975, 9 (NR1): : 21 - 42
[6] EQUIVALENCE OF DATA FLOW SCHEMAS
BORISENKO, VI
[J]. CYBERNETICS, 1989, 25 (03): : 289 - 299
[7] Equivalence of OLAP dimension schemas
Hurtado, CA
Gutiérrez, C
[J]. FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS, PROCEEDINGS, 2004, 2942 : 176 - 195
[8] TRANSFORMATION OF SCHEMAS FOR RECURSIVE-PROGRAMS INTO EQUIVALENT FREE SCHEMAS
PODLOVCHENKO, RI
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 1994, 20 (06) : 233 - 247
[9] METALINEAR RECURSIVE SCHEMAS ON MARKED TREES
LISOVIK, LP
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 1983, 9 (05) : 235 - 243
[10] Completeness of the primitive recursive ω-rule
Frittaion, Emanuele
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2020, 59 (5-6) : 715 - 731

← 1 2 3 4 5 →