Five Determinisation Algorithms (Q3602811): Difference between revisions

@@ Property / author @@
+Robert J. van Glabbeek
@@ Property / author: Robert J. van Glabbeek / 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-540-70844-5_17
+Normal rank
@@ Property / OpenAlex ID @@
+W2127450347
@@ Property / OpenAlex ID: W2127450347 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformational design and implementation of a new efficient solution to the ready simulation problem
+Normal rank
@@ Property / cites work @@
+Q5725992
@@ Property / cites work: Q5725992 / rank @@
+Normal rank
@@ Property / cites work @@
+From bisimulation to simulation: Coarsest partition problems
+Normal rank
@@ Property / cites work @@
+Correcting a Space-Efficient Simulation Algorithm
@@ Property / cites work: Correcting a Space-Efficient Simulation Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Five Determinisation Algorithms
@@ Property / cites work: Five Determinisation Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760254
@@ Property / cites work: Q2760254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4252730
@@ Property / cites work: Q4252730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4045961
@@ Property / cites work: Q4045961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+The size of power automata.
@@ Property / cites work: The size of power automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental Evaluation of Classical Automata Constructions
+Normal rank
@@ Property / cites work @@
+Q4848749
@@ Property / cites work: Q4848749 / rank @@
+Normal rank
@@ Property / cites work @@
+Computation theory of cellular automata
@@ Property / cites work: Computation theory of cellular automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150942
@@ Property / cites work: Q3150942 / rank @@
+Normal rank