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 条

[1]

[Anonymous], 1980, INT C AUTOMATED DEDU

[2]

ARNBORG S, 1985, LECT NOTES COMPUT SC, V202, P398

[3]

BACHMAIR L, 1985, LECT NOTES COMPUT SC, V202, P241

[4]

BACHMAIR L, 1986, JUN P S LOG COMP SCI

[5]

BACHMAIR L, 1986, CRITICAL PAIR CRITER

[6]

BAUDERON M, 1985, 8525 U BORD 1 LAB AN

BELLEGARDE, F .

[8]

BENCHERIFA A, 1986, 8TH P C AUT DED OXF

[9]

BIDOIT M, 1985, BIGRE GLOBULE, V45

[10]

BOUDOL G, 1982, COMPUTATIONAL SEMANT