Pages that link to "Item:Q2830202"
From MaRDI portal
The following pages link to Decision Problems for Finite Automata over Infinite Algebraic Structures (Q2830202):
Displaying 9 items.
- Intractability of decision problems for finite-memory automata (Q1575908) (← links)
- Decision problems for subclasses of rational relations over finite and infinite words (Q1679989) (← links)
- Deciding quantifier-free definability in finite algebraic structures (Q2219074) (← links)
- Periodic generalized automata over the reals (Q2280333) (← links)
- Dualizability of automatic algebras. (Q2436718) (← links)
- A computation model with automatic functions and relations as primitive operations (Q2672645) (← links)
- (Q4037400) (← links)
- DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR FINITELY AMBIGUOUS FINANCE AUTOMATA (Q4786328) (← links)
- Fundamentals of Computation Theory (Q5492918) (← links)