Publication | Closed Access
A finite thue system with decidable word problem and without equivalent finite canonical system
67
Citations
7
References
1985
Year
Combinatorics On WordEngineeringAutomated ReasoningComputational LinguisticsComputational Model TheoryFormal MethodsDiscrete MathematicsLanguage StudiesFinite Model TheoryFinite-state SystemDecidable Word ProblemFinite Thue SystemLinguisticsComputability Theory
| Year | Citations | |
|---|---|---|
Page 1
Page 1