Mediating for reduction (on minimizing alternating Büchi automata) (Q740970): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2014.08.003
@@ Property / DOI: 10.1016/j.tcs.2014.08.003 / 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.1016/j.tcs.2014.08.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1965927648
@@ Property / OpenAlex ID: W1965927648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2920108
@@ Property / cites work: Q2920108 / 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 @@
+Automata-Theoretic Model Checking Revisited
@@ Property / cites work: Automata-Theoretic Model Checking Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
+Normal rank
@@ Property / cites work @@
+Q4551134
@@ Property / cites work: Q4551134 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation relations for alternating Büchi automata
+Normal rank
@@ Property / cites work @@
+Computing Simulations over Tree Automata
@@ Property / cites work: Computing Simulations over Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata
+Normal rank
@@ Property / cites work @@
+Correct Hardware Design and Verification Methods
@@ Property / cites work: Correct Hardware Design and Verification Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415252
@@ Property / cites work: Q4415252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754087
@@ Property / cites work: Q2754087 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2014.08.003
@@ Property / DOI: 10.1016/J.TCS.2014.08.003 / rank @@
+Normal rank