On FO 2 Quantifier Alternation over Words (Q3182951): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-03816-7_44
+Normal rank
@@ Property / OpenAlex ID @@
+W3125214380
@@ Property / OpenAlex ID: W3125214380 / rank @@
+Normal rank
@@ Property / cites work @@
+An             <i>n</i>             ! lower bound on formula size
@@ Property / cites work: An <i>n</i> ! lower bound on formula size / rank @@
+Normal rank
@@ Property / cites work @@
+Q4848740
@@ Property / cites work: Q4848740 / rank @@
+Normal rank
@@ Property / cites work @@
+A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
+Normal rank
@@ Property / cites work @@
+The succinctness of first-order logic on linear orders
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+On the lattice of sub-pseudovarieties of DA.
@@ Property / cites work: On the lattice of sub-pseudovarieties of DA. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3769981
@@ Property / cites work: Q3769981 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive power of existential first-order sentences of Büchi's sequential calculus
+Normal rank
@@ Property / cites work @@
+Profinite semigroups, Mal'cev products, and identities
+Normal rank
@@ Property / cites work @@
+Polynomial closure and unambiguous product
@@ Property / cites work: Polynomial closure and unambiguous product / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737911
@@ Property / cites work: Q4737911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4407441
@@ Property / cites work: Q4407441 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Meets Algebra: the Case of Regular Languages
+Normal rank
@@ Property / cites work @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The lattice of pseudovarieties of idempotent semigroups and a non-regular analogue
+Normal rank
@@ Property / cites work @@
+Structure Theorem and Strict Alternation Hierarchy for FO2 on Words
+Normal rank