Pages that link to "Item:Q1256322"
From MaRDI portal
The following pages link to The decidability of the FOL-DOL equivalence problem (Q1256322):
Displayed 5 items.
- The decidability of the DOL-DTOL equivalence problem (Q1167540) (← links)
- The language equivalence problem for HD0L systems having D0L growths (Q1763705) (← links)
- The equivalence problem for DF0L languages and power series. (Q1872710) (← links)
- Lindenmayer Systems (Q5072550) (← links)
- Watson-Crick D0L systems with regular triggers (Q5941302) (← links)