Pages that link to "Item:Q3210188"

The following pages link to It is decidable whether a monadic thue system is canonical over a regular set (Q3210188):

Displaying 3 items.

• A polynomial algorithm testing partial confluence of basic semi-Thue systems (Q1127336) (← links)
• A polynomial algorithm testing partial confluence of basic semi-Thue systems (Q5055831) (← links)
• Coalgebras for Bisimulation of Weighted Automata over Semirings (Q5883750) (← links)