DECIDABILITY OF CONFLUENCE FOR GROUND TERM REWRITING-SYSTEMS

被引：0

作者：

DAUCHET, M

TISON, S

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：80 / 89

页数：10

共 21 条

[1] TREE MORPHISMS AND BIMORPHISMS [J].

ARNOLD, A ;

DAUCHET, M .

[2]

ARNOLD A, 1978, LECTURES NOTES COMPU, V62, P26

[3]

ARNOLD A, 1976, 3RD P C AUT LANG PRO, P74

[4] TREE GENERATING REGULAR SYSTEMS [J].

BRAINERD, WS .

INFORMATION AND CONTROL, 1969, 14 (02) :217-&

[5]

BUCHI JR, 1964, ARCH MATH LOGIK GRUN, V6, P11

[6]

DAUCHET M, 1984, DECIDABILITY CONFLUE

[7]

Dershowitz N., 1979, 20th Annual Symposium of Foundations of Computer Science, P123, DOI 10.1109/SFCS.1979.32

[8]

Doner J.E., 1970, J COMPUT SYST SCI, V4, P406

[9] BOTTOM-UP AND TOP-DOWN TREE TRANSFORMATIONS - COMPARISON [J].

ENGELFRIET, J .

MATHEMATICAL SYSTEMS THEORY, 1975, 9 (03) :198-231

[10]

GUTTAG JV, 1982, LECT NOTES COMPUT SC, V140, P300