Pages that link to "Item:Q1235985"
From MaRDI portal
The following pages link to On the decidability of the sequence equivalence problem for DOL-systems (Q1235985):
Displayed 8 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)
- A Survey on Decidable Equivalence Problems for Tree Transducers (Q2800413) (← links)
- REMARKS CONCERNING THE D0L ω-EQUIVALENCE PROBLEM (Q3021985) (← links)
- (Q3334093) (← links)
- THE D0L ω-EQUIVALENCE PROBLEM (Q3426793) (← links)
- Homomorphism equivalence on etol languages† (Q4185823) (← links)