Pages that link to "Item:Q807023"
From MaRDI portal
The following pages link to Decidability of structural equivalence of E0L grammars (Q807023):
Displaying 6 items.
- The strong equivalence of ET0L grammars (Q287052) (← links)
- Structural equivalence and ET0L grammars (Q671426) (← links)
- Decidability of equivalence for deterministic synchronized tree automata (Q671682) (← links)
- Decidability of EDT0L structural equivalence (Q1605312) (← links)
- Complexity of E0L structural equivalence (Q4359286) (← links)
- Complexity of EOL structural equivalence (Q5096917) (← links)