BÜCHI COMPLEMENTATION MADE TIGHTER (Q5484906): Difference between revisions

@@ Property / cites work @@
+Partial orders on words, minimal elements of regular languages, and state complexity
+Normal rank
@@ Property / cites work @@
+Fair simulation
@@ Property / cites work: Fair simulation / rank @@
+Normal rank
@@ Property / cites work @@
+Weak alternating automata are not that weak
@@ Property / cites work: Weak alternating automata are not that weak / rank @@
+Normal rank
@@ Property / cites work @@
+Q4326390
@@ Property / cites work: Q4326390 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating automata on infinite trees
@@ Property / cites work: Alternating automata on infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+The complementation problem for Büchi automata with applications to temporal logic
+Normal rank
@@ Property / cites work @@
+Asymptotic Estimates of Stirling Numbers
@@ Property / cites work: Asymptotic Estimates of Stirling Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1142/s0129054106004145
+Normal rank
@@ Property / OpenAlex ID @@
+W4246764629
@@ Property / OpenAlex ID: W4246764629 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5484906