Büchi Automata Can Have Smaller Quotients (Q3012925): Difference between revisions

@@ 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-642-22012-8_20
+Normal rank
@@ Property / OpenAlex ID @@
+W1696271966
@@ Property / OpenAlex ID: W1696271966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2920108
@@ Property / cites work: Q2920108 / rank @@
+Normal rank
@@ Property / cites work @@
+Büchi Automata Can Have Smaller Quotients
@@ Property / cites work: Büchi Automata Can Have Smaller Quotients / rank @@
+Normal rank
@@ Property / cites work @@
+Multipebble Simulations for Alternating Automata
@@ Property / cites work: Multipebble Simulations for Alternating Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484483
@@ Property / cites work: Q4484483 / rank @@
+Normal rank
@@ Property / cites work @@
+Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata
+Normal rank
@@ Property / cites work @@
+Simulation relations for alternating Büchi automata
+Normal rank
@@ Property / cites work @@
+Minimizing nfa's and regular expressions
@@ Property / cites work: Minimizing nfa's and regular expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804928
@@ Property / cites work: Q4804928 / rank @@
+Normal rank
@@ Property / cites work @@
+Fair simulation
@@ Property / cites work: Fair simulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518901
@@ Property / cites work: Q4518901 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036599
@@ Property / cites work: Q4036599 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimizing Generalized Büchi Automata
@@ Property / cites work: Minimizing Generalized Büchi Automata / 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 @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Beyond Hyper-Minimisation--Minimising DBAs and DPAs is NP-Complete
+Normal rank
@@ Property / cites work @@
+Q2754087
@@ Property / cites work: Q2754087 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3012925