ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED (Q3395137): Difference between revisions

@@ Property / cites work @@
+Enumeration and generation with a string automata representation
+Normal rank
@@ Property / cites work @@
+Partial derivatives of regular expressions and finite automaton constructions
+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 @@
+Follow automata.
@@ Property / cites work: Follow automata. / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Generating words in a context-free language uniformly at random
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank