Decision problems for finite special string-rewriting systems that are confluent on some congruence class

Authors:
Friedrich Otto;Louxin Zhang
Affiliations:
Fachbereich Mathematik/Informatik, Kassel, Germany;Univ. of Waterloo, Ont., Canada
Venue:
Acta Informatica
Year:
1991

Word Problems for 2-Homogeneous Monoids and Symmetric Logspace

MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
On the Connections between Rewriting and Formal Language Theory

RtA '99 Proceedings of the 10th International Conference on Rewriting Techniques and Applications
Some Applications of the Decidability of DPDA's Equivalence

MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality

Hi-index	0.00