Q5155687 (Q5155687): Difference between revisions

@@ Property / cites work @@
+Q3774976
@@ Property / cites work: Q3774976 / rank @@
+Normal rank
@@ Property / cites work @@
+Dot-depth of star-free events
@@ Property / cites work: Dot-depth of star-free events / rank @@
+Normal rank
@@ Property / cites work @@
+The dot-depth hierarchy of star-free languages is infinite
+Normal rank
@@ Property / cites work @@
+Efficient Separability of Regular Languages by Subsequences and Suffixes
+Normal rank
@@ Property / cites work @@
+A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
+Normal rank
@@ Property / cites work @@
+Discrete algebraic methods. Arithmetic, cryptography, automata and groups
+Normal rank
@@ Property / cites work @@
+Q4501562
@@ Property / cites work: Q4501562 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3673124
@@ Property / cites work: Q3673124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+An Explicit Formula for the Intersection of Two Polynomials of Regular Languages
+Normal rank
@@ Property / cites work @@
+Separating regular languages with two quantifier alternations
+Normal rank
@@ Property / cites work @@
+First-order logic and star-free sets
@@ Property / cites work: First-order logic and star-free sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774066
@@ Property / cites work: Q3774066 / rank @@
+Normal rank
@@ Property / cites work @@
+Separating Regular Languages by Piecewise Testable and Unambiguous Languages
+Normal rank
@@ Property / cites work @@
+Polynomial closure and unambiguous product
@@ Property / cites work: Polynomial closure and unambiguous product / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144616
@@ Property / cites work: Q5144616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4580330
@@ Property / cites work: Q4580330 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic results for concatenation hierarchies
@@ Property / cites work: Generic results for concatenation hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+Going Higher in First-Order Quantifier Alternation Hierarchies on Words
+Normal rank
@@ Property / cites work @@
+Adding Successor
@@ Property / cites work: Adding Successor / rank @@
+Normal rank
@@ Property / cites work @@
+On finite monoids having only trivial subgroups
@@ Property / cites work: On finite monoids having only trivial subgroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077455
@@ Property / cites work: Q4077455 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of the Schützenberger product of finite monoids
+Normal rank
@@ Property / cites work @@
+Classification of finite monoids: the language approach
+Normal rank
@@ Property / cites work @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank