Pages that link to "Item:Q4773689"
From MaRDI portal
The following pages link to Algebraic decision procedures for local testability (Q4773689):
Displaying 7 items.
- The Karoubi envelope of the mirage of a subshift (Q5160025) (← links)
- On Some Decision Problems for Stateless Deterministic Ordered Restarting Automata (Q5500690) (← links)
- Free profinite locally idempotent and locally commutative semigroups (Q5946464) (← links)
- Relativized adjacency (Q6053841) (← links)
- Locality and Centrality: The Variety ZG (Q6076180) (← links)
- An efficient algorithm for local testability problem of finite state automata (Q6085759) (← links)
- Sublinear-Time Language Recognition and Decision by One-Dimensional Cellular Automata (Q6169898) (← links)