Pages that link to "Item:Q1071759"

The following pages link to The Church-Rosser property and special Thue systems (Q1071759):

Displaying 11 items.

• Homogeneous Thue systems and the Church-Rosser property (Q798317) (← links)
• A shorter proof that palindromes are not a Church-Rosser language, with extensions to almost-confluent and preperfect Thue systems (Q844899) (← links)
• An \(O(| T| ^ 3)\) algorithm for testing the Church-Rosser property of Thue systems (Q1057263) (← links)
• The Church-Rosser property and special Thue systems (Q1071759) (← links)
• Complexity results on the conjugacy problem for monoids (Q1073015) (← links)
• A finite Thue system with decidable word problem and without equivalent finite canonical system (Q1073016) (← links)
• Complexity of certain decision problems about congruential languages (Q1085618) (← links)
• On the regular equivalence problem for regular Thue systems (Q1087011) (← links)
• (Q3629238) (← links)
• The uniform conjugacy problem for finite church—Rosser thue systems is NP-complete (Q3720578) (← links)
• Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation (Q4031104) (← links)