Rewriting extended regular expressions (Q673635): Difference between revisions

@@ Property / cites work @@
+Complexity of matching problems
@@ Property / cites work: Complexity of matching problems / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection and union of regular languages and state complexity
+Normal rank
@@ Property / cites work @@
+Une remarque sur les systèmes complets d'identités rationnelles
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+On equations for regular languages, finite automata, and sequential networks
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+A Procedure for Checking Equality of Regular Expressions
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Q3030266
@@ Property / cites work: Q3030266 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5672836
@@ Property / cites work: Q5672836 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4005203
@@ Property / cites work: Q4005203 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete systems of \(\mathcal B\)-rational identities
+Normal rank
@@ Property / cites work @@
+Generalized language equations with multiple solutions
+Normal rank
@@ Property / cites work @@
+Q3204056
@@ Property / cites work: Q3204056 / rank @@
+Normal rank
@@ Property / cites work @@
+Action Semantics
@@ Property / cites work: Action Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385527
@@ Property / cites work: Q4385527 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287490
@@ Property / cites work: Q4287490 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+Q5588675
@@ Property / cites work: Q5588675 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Extended Language of Regular Expressions
+Normal rank