REWRITING-SYSTEMS

被引：0

作者：

JOUANNAUD, JP ^{[1
]}

LESCANNE, P ^{[1
]}

机构：

[1] CTR RECH & INFORMAT NANCY,BP 239,F-54506 VANDOEUVRE NANCY,FRANCE

来源：

TSI-TECHNIQUE ET SCIENCE INFORMATIQUES | 1986年 / 5卷 / 06期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：433 / 452

页数：20

共 133 条

[51] PATTERN-MATCHING IN TREES [J].

HOFFMANN, CM ;

ODONNELL, MJ .

[52]

HOFFMANN CM, 1982, T PROGRAMMING LANGUA, V4, P83

[53]

HSIANG J, 1985, LECT NOTES COMPUT SC, V202, P301

[54]

HSIANG J, 1983, 10TH P C AUT LANG PR, V154

[55]

HSIANG J, 1981, THESIS U ILLINOIS UR

[56] PROOFS BY INDUCTION IN EQUATIONAL THEORIES WITH CONSTRUCTORS [J].

HUET, G ;

HULLOT, JM .

HUET, G .

HUET, G .

[59]

HUET G, 1978, 283 RAPP LAB

[60]

HUET G, 1979, 359 RAPP LAB