THE WORD PROBLEM FOR FINITELY PRESENTED MONOIDS AND FINITE CANONICAL REWRITING-SYSTEMS

被引：0

作者：

SQUIER, C ^{[1
]}

OTTO, F ^{[1
]}

机构：

[1] UNIV KAISERSLAUTERN,FACHBEREICH INFORMAT,D-6750 KAISERSLAUTERN,FED REP GER

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 256卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：74 / 82

页数：9

共 50 条

[1] FINITE COMPLETE REWRITING-SYSTEMS AND THE COMPLEXITY OF THE WORD PROBLEM
BAUER, G
OTTO, F
[J]. ACTA INFORMATICA, 1984, 21 (05) : 521 - 540
[2] FINITE CANONICAL REWRITING-SYSTEMS FOR CONGRUENCES GENERATED BY CONCURRENCY RELATIONS
OTTO, F
[J]. MATHEMATICAL SYSTEMS THEORY, 1987, 20 (04): : 253 - 260
[3] PSEUDO-NATURAL ALGORITHMS FOR THE WORD PROBLEM FOR FINITELY PRESENTED MONOIDS AND GROUPS
MADLENER, K
OTTO, F
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1985, 1 (04) : 383 - 418
[4] USING STRING-REWRITING FOR SOLVING THE WORD PROBLEM FOR FINITELY PRESENTED GROUPS
MADLENER, K
OTTO, F
[J]. INFORMATION PROCESSING LETTERS, 1987, 24 (05) : 281 - 284
[5] A NEW FINITENESS CONDITION FOR MONOIDS PRESENTED BY COMPLETE REWRITING-SYSTEMS (AFTER CRAIG-C.-SQUIER)
LAFONT, Y
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1995, 98 (03) : 229 - 244
[6] Infinite convergent string-rewriting systems and cross-sections for finitely presented monoids
Otto, F
Katsura, M
Kobayashi, Y
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1998, 26 (05) : 621 - 648
[7] PDT is undecidable for finitely presented monoids with solvable word problems
Otto, F
Sattler-Klein, A
[J]. FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, 1997, 1279 : 388 - 399
[8] INFINITE, CANONICAL STRING REWRITING-SYSTEMS GENERATED BY COMPLETION
SATTLERKLEIN, A
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 433 - 444
[9] UNDECIDABILITY OF GROUND REDUCIBILITY FOR WORD REWRITING-SYSTEMS WITH VARIABLES
KUCHEROV, G
RUSINOWITCH, M
[J]. INFORMATION PROCESSING LETTERS, 1995, 53 (04) : 209 - 215
[10] Cross-sections for finitely presented monoids with decidable word problems
Otto, F
Katsura, M
Kobayashi, Y
[J]. REWRITING TECHNIQUES AND APPLICATIONS, 1997, 1232 : 53 - 67

← 1 2 3 4 5 →