Pages that link to "Item:Q3007635"
From MaRDI portal
The following pages link to Orbits of Linear Maps and Regular Languages (Q3007635):
Displayed 5 items.
- From decidability to undecidability by considering regular sets of instances (Q2062120) (← links)
- Algebraic model checking for discrete linear dynamical systems (Q2112097) (← links)
- Orbits of Linear Maps and Regular Languages (Q3007635) (← links)
- On the decidability of finding a positive ILP-instance in a regular set of ILP-instances (Q5918790) (← links)
- What's decidable about discrete linear dynamical systems? (Q6113969) (← links)