Pages that link to "Item:Q1186708"

The following pages link to When is an extension of a specification consistent? Decidable and undecidable cases (Q1186708):

Displaying 4 items.

• On weakly confluent monadic string-rewriting systems (Q685433) (← links)
• Some undecidability results concerning the property of preserving regularity (Q1274984) (← links)
• Codes modulo finite monadic string-rewriting systems (Q1341747) (← links)
• Uniform decision problems for automatic semigroups. (Q2509285) (← links)