Integer weighted automata on infinite words (Q832935): Difference between revisions

@@ Property / author @@
-Q790623
@@ Property / author: Q790623 / rank @@
-Normal rank
@@ Property / author @@
+Tero J.Harju
@@ Property / author: Tero J.Harju / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-81508-0_14
+Normal rank
@@ Property / OpenAlex ID @@
+W3189314826
@@ Property / OpenAlex ID: W3189314826 / rank @@
+Normal rank
@@ Property / cites work @@
+What’s Decidable about Weighted Automata?
@@ Property / cites work: What’s Decidable about Weighted Automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Q5009428
@@ Property / cites work: Q5009428 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative languages
@@ Property / cites work: Quantitative languages / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of infinite post correspondence problem for instances of size 8
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4265634
@@ Property / cites work: Q4265634 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of infinite post correspondence problem for instances of Size 9
+Normal rank
@@ Property / cites work @@
+Weighted automata on infinite words in the context of attacker-defender games
+Normal rank
@@ Property / cites work @@
+Small Semi-Thue System Universal with Respect to the Termination Problem
+Normal rank
@@ Property / cites work @@
+On the Complexity of Equivalence and Minimisation for Q-weighted Automata
+Normal rank
@@ Property / cites work @@
+Decision problems for semi-Thue systems with a few rules
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words
+Normal rank
@@ Property / cites work @@
+On decidability and complexity of low-dimensional robot games
+Normal rank
@@ Property / cites work @@
+Small universal Turing machines
@@ Property / cites work: Small universal Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Some undecidable termination problems for semi-Thue systems
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank