CANCELLATION RULES AND EXTENDED WORD-PROBLEMS

被引：15
作者：
BOOK, RV [1 ]
OTTO, F [1 ]
机构：
[1] UNIV KAISERSLAUTERN,FACHBEREICH INFORMAT,D-6750 KAISERSLAUTERN,FED REP GER
来源：
INFORMATION PROCESSING LETTERS | 1985年 / 20卷 / 01期
关键词：
D O I：
10.1016/0020-0190(85)90122-X
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：5 / 11
页数：7
相关论文
共 11 条
[1]  
BERSTEL J, 1979, TRANSDUCTIONS CONTEX
[2]   HOMOGENEOUS THUE SYSTEMS AND THE CHURCH-ROSSER PROPERTY [J].
BOOK, RV .
DISCRETE MATHEMATICS, 1984, 48 (2-3) :137-145
[3]   DECIDABLE SENTENCES OF CHURCH-ROSSER CONGRUENCES [J].
BOOK, RV .
THEORETICAL COMPUTER SCIENCE, 1983, 24 (03) :301-312
[4]   MONADIC THUE SYSTEMS [J].
BOOK, RV ;
JANTZEN, M ;
WRATHALL, C .
THEORETICAL COMPUTER SCIENCE, 1982, 19 (03) :231-251
[5]  
BOOK RV, 1983, COMBINATORICS WORDS, P1
[6]   ON THE SECURITY OF PING-PONG PROTOCOLS [J].
DOLEV, D ;
EVEN, S ;
KARP, RM .
INFORMATION AND CONTROL, 1982, 55 (1-3) :57-68
[7]   ON THE SECURITY OF PUBLIC KEY PROTOCOLS [J].
DOLEV, D ;
YAO, AC .
IEEE TRANSACTIONS ON INFORMATION THEORY, 1983, 29 (02) :198-208
[8]  
Even S., 1983, 24th Annual Symposium on Foundations of Computer Science, P34, DOI 10.1109/SFCS.1983.42
[9]   CONFLUENT REDUCTIONS - ABSTRACT PROPERTIES AND APPLICATIONS TO TERM REWRITING SYSTEMS [J].
HUET, G .
JOURNAL OF THE ACM, 1980, 27 (04) :797-821
[10]  
NIVAT M, 1971, CONGRUENCES PARFAITE
12