Pages that link to "Item:Q1235985"

The following pages link to On the decidability of the sequence equivalence problem for DOL-systems (Q1235985):

Displayed 7 items.

• Balance of many-valued transductions and equivalence problems (Q1095671) ‎ (← links)
• Lindenmayer grammars and symbolic testing (Q1244821) ‎ (← links)
• On the decidability of homomorphism equivalence for languages (Q1251076) ‎ (← links)
• REMARKS CONCERNING THE D0L ω-EQUIVALENCE PROBLEM (Q3021985) ‎ (← links)
• (Q3334093) ‎ (← links)
• THE D0L ω-EQUIVALENCE PROBLEM (Q3426793) ‎ (← links)
• Homomorphism equivalence on etol languages† (Q4185823) ‎ (← links)