FROM C-CONTINUATIONS TO NEW QUADRATIC ALGORITHMS FOR AUTOMATON SYNTHESIS (Q4786303): Difference between revisions

@@ Property / author @@
-Jean-Marc Champarnaud
@@ Property / author: Jean-Marc Champarnaud / rank @@
-Normal rank
@@ Property / author @@
+Jean-Marc Champarnaud
@@ Property / author: Jean-Marc Champarnaud / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Partial derivatives of regular expressions and finite automaton constructions
+Normal rank
@@ Property / cites work @@
+Regular expressions into finite automata
@@ Property / cites work: Regular expressions into finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+From regular expressions to deterministic automata
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+THE ABSTRACT THEORY OF AUTOMATA
@@ Property / cites work: THE ABSTRACT THEORY OF AUTOMATA / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4786303