CONFLUENT TERM REWRITING-SYSTEMS WITH MEMBERSHIP CONDITIONS

被引：0

作者：

TOYAMA, Y

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：228 / 241

页数：14

共 10 条

[1]

Barendregt H. P., 1981, LAMBDA CALCULUS ITS

[2] CONDITIONAL REWRITE RULES - CONFLUENCE AND TERMINATION [J].

BERGSTRA, JA ;

KLOP, JW .

HUET, G .

[4]

HUET G, 1980, FORMAL LANGUAGE THEO, P349

[5] COMPLETION OF A SET OF RULES MODULO A SET OF EQUATIONS [J].

JOUANNAUD, JP ;

KIRCHNER, H .

[6] CONDITIONAL REWRITE RULES [J].

KAPLAN, S .

[7]

Klop J. W., 1980, THESIS U UTRECHT

[8]

Knuth D., 1970, COMPUTATIONAL PROBLE, P263

[9] TREE-MANIPULATING SYSTEMS AND CHURCH-ROSSER THEOREMS [J].

ROSEN, BK .

TOYAMA, Y .