NORMAL LEVEL REWRITING-SYSTEMS

被引：5

作者：

BAUER, G

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(85)90160-4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：85 / 99

页数：15

共 13 条

BAUER, G ;

OTTO, F .

[2]

BAUER G, 1981, THESIS U KAISERSLAUT

[3] CONFLUENT AND OTHER TYPES OF THUE SYSTEMS [J].

BOOK, RV .

[4]

BOOK RV, 1983, PROGR COMBINATORICS

[5]

Buchberger B., 1982, COMPUTING SUPPLEMENT, V4

[6]

Davis M., 1958, COMPUTABILITY UNSOLV

[7]

DERSHOWITZ N, 1983, ATR8384782 AER CORP

HUET, G .

[9]

HUET G, 1978, INRIA283 LAB REPT

[10] A NOTE ON A SPECIAL ONE-RULE SEMI-THUE SYSTEM [J].

JANTZEN, M .