The Word Problem for Thue Rewriting Systems

Authors:
Gerard Lallement
Affiliations:
-
Venue:
Term Rewriting, French Spring School of Theoretical Computer Science, Advanced Course
Year:
1993

Citing 0
Cited 3

Decision Problems for Semi-Thue Systems with a Few Rules

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The word problem for 1LC congruences is NP-hard

Theoretical Computer Science
Decision problems for semi-Thue systems with a few rules

Theoretical Computer Science - Insightful theory

Quantified Score

Hi-index	0.00

Visualization

Abstract