The inclusion problem for regular expressions (Q1757837): Difference between revisions

@@ Property / Wikidata QID @@
+Q59238607
@@ Property / Wikidata QID: Q59238607 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Automaton Transformations
@@ Property / cites work: Linear Automaton Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Regular expressions into finite automata
@@ Property / cites work: Regular expressions into finite automata / rank @@
+Normal rank
@@ Property / cites work @@
+One-unambiguous regular languages
@@ Property / cites work: One-unambiguous regular languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3287249
@@ Property / cites work: Q3287249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536277
@@ Property / cites work: Q5536277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Ambiguity in Graphs and Expressions
@@ Property / cites work: Ambiguity in Graphs and Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+The Inclusion Problem for Regular Expressions
@@ Property / cites work: The Inclusion Problem for Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2004
@@ Property / cites work: Mathematical Foundations of Computer Science 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Roots of Star Events
@@ Property / cites work: Roots of Star Events / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting regular inequalities
@@ Property / cites work: Rewriting regular inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Inclusion Test Algorithms for One-Unambiguous Regular Expressions
+Normal rank
@@ Property / cites work @@
+THE ABSTRACT THEORY OF AUTOMATA
@@ Property / cites work: THE ABSTRACT THEORY OF AUTOMATA / rank @@
+Normal rank