Pages that link to "Item:Q4907868"
From MaRDI portal
The following pages link to Finite Automata and the Analysis of Infinite Transition Systems (Q4907868):
Displaying 10 items.
- Finite automata-models for the investigation of dynamical systems (Q287156) (← links)
- (Q2754072) (← links)
- (Q3341901) (← links)
- Finite Automata as Time-Inv Linear Systems Observability, Reachability and More (Q3624572) (← links)
- CHARACTERIZATION OF FINITE STATE AUTOMATA—TOPOLOGICAL APPROACH (Q4008487) (← links)
- (Q5155665) (← links)
- Implementation and Application of Automata (Q5463968) (← links)
- Developments in Language Theory (Q5473681) (← links)
- An internal presentation of regular graphs by prefix-recognizable graphs (Q5949571) (← links)
- Decidability bounds for Presburger arithmetic extended by sine (Q6584959) (← links)