The following pages link to Finite Automata over Structures (Q2898048):
Displaying 13 items.
- Second-order finite automata: expressive power and simple proofs using automatic structures (Q832943) (← links)
- A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
- Periodic generalized automata over the reals (Q2280333) (← links)
- Generalized finite automata over real and complex numbers (Q2354406) (← links)
- Structural Presburger digit vector automata (Q2378536) (← links)
- Recognizable series on graphs and hypergraphs (Q2424675) (← links)
- A computation model with automatic functions and relations as primitive operations (Q2672645) (← links)
- Decision Problems for Finite Automata over Infinite Algebraic Structures (Q2830202) (← links)
- Types from Frames as Finite Automata (Q2835042) (← links)
- Automata Presenting Structures: A Survey of the Finite String Case (Q3503740) (← links)
- (Q3675523) (← links)
- (Q4037400) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)