The following pages link to Developments in Language Theory (Q5711967):
Displaying 8 items.
- On the membership of invertible diagonal and scalar matrices (Q870838) (← links)
- Weighted automata on infinite words in the context of attacker-defender games (Q2013554) (← links)
- On undecidability bounds for matrix decision problems (Q2474220) (← links)
- Optimizing reachability sets in temporal graphs by delaying (Q2672269) (← links)
- The Invariance Problem for Matrix Semigroups (Q2811359) (← links)
- Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words (Q2955030) (← links)
- Matrix Semigroup Freeness Problems in SL $$(2,\mathbb {Z})$$ (Q2971140) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311135) (← links)