Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking (Q391129): Difference between revisions

@@ Property / cites work @@
+Efficient inclusion for a class of XML types with interleaving and counting
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Decision Problems for XML Schemas and Chain Regular Expressions
+Normal rank
@@ Property / cites work @@
+Q4508365
@@ Property / cites work: Q4508365 / rank @@
+Normal rank
@@ Property / cites work @@
+Shuffle languages are in P
@@ Property / cites work: Shuffle languages are in P / rank @@
+Normal rank
@@ Property / cites work @@
+Inclusion Test Algorithms for One-Unambiguous Regular Expressions
+Normal rank
@@ Property / cites work @@
+One-unambiguous regular languages
@@ Property / cites work: One-unambiguous regular languages / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Expressions with Counting: Weak versus Strong Determinism
+Normal rank
@@ Property / cites work @@
+One-unambiguity of regular expressions with numeric occurrence indicators
+Normal rank
@@ Property / cites work @@
+Efficient inclusion checking for deterministic tree automata and XML schemas
+Normal rank
@@ Property / cites work @@
+The Inclusion Problem for Regular Expressions
@@ Property / cites work: The Inclusion Problem for Regular Expressions / rank @@
+Normal rank