A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS (Q3538848): Difference between revisions

@@ Property / cites work @@
+A SYNTACTICAL PROOF OF LOCALITY OF DA
@@ Property / cites work: A SYNTACTICAL PROOF OF LOCALITY OF DA / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial operations and hierarchies of concatenation
+Normal rank
@@ Property / cites work @@
+A new algorithm for testing if a regular language is locally threshold testable
+Normal rank
@@ Property / cites work @@
+The dot-depth hierarchy of star-free languages is infinite
+Normal rank
@@ Property / cites work @@
+Characterizations of locally testable events
@@ Property / cites work: Characterizations of locally testable events / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+On factorization forests of finite height
@@ Property / cites work: On factorization forests of finite height / rank @@
+Normal rank
@@ Property / cites work @@
+Actions, wreath products of \(\mathcal C\)-varieties and concatenation product.
+Normal rank
@@ Property / cites work @@
+On the expressive power of temporal logic
@@ Property / cites work: On the expressive power of temporal logic / 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 @@
+INVERSE MONOIDS OF DOT-DEPTH TWO
@@ Property / cites work: INVERSE MONOIDS OF DOT-DEPTH TWO / rank @@
+Normal rank
@@ Property / cites work @@
+First-order logic with two variables and unary temporal logic
+Normal rank
@@ Property / cites work @@
+Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+On the structure of semigroups
@@ Property / cites work: On the structure of semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Definability with bounded number of bound variables
+Normal rank
@@ Property / cites work @@
+Algebraic decision procedures for local testability
+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 @@
+A property of the Schützenberger product
@@ Property / cites work: A property of the Schützenberger product / rank @@
+Normal rank
@@ Property / cites work @@
+Logic, semigroups and automata on words
@@ Property / cites work: Logic, semigroups and automata on words / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic tools for the concatenation product.
@@ Property / cites work: Algebraic tools for the concatenation product. / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive power of existential first-order sentences of Büchi's sequential calculus
+Normal rank
@@ Property / cites work @@
+Some results on<i>C</i>-varieties
@@ Property / cites work: Some results on<i>C</i>-varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Locally trivial categories and unambiguous concatenation
+Normal rank
@@ Property / cites work @@
+Polynomial closure and unambiguous product
@@ Property / cites work: Polynomial closure and unambiguous product / rank @@
+Normal rank
@@ Property / cites work @@
+A conjecture on the concatenation product
@@ Property / cites work: A conjecture on the concatenation product / 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 @@
+Sur le produit de concatenation non ambigu
@@ Property / cites work: Sur le produit de concatenation non ambigu / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization forests of finite height
@@ Property / cites work: Factorization forests of finite height / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+A generalization of the Schützenberger product of finite monoids
+Normal rank
@@ Property / cites work @@
+Finite semigroup varieties of the form V*D
@@ Property / cites work: Finite semigroup varieties of the form V*D / rank @@
+Normal rank
@@ Property / cites work @@
+Semigroups and languages of dot-depth two
@@ Property / cites work: Semigroups and languages of dot-depth two / rank @@
+Normal rank
@@ Property / cites work @@
+Partially ordered finite monoids and a theorem of I. Simon
+Normal rank
@@ Property / cites work @@
+Regular languages defined by generalized first-order formulas with a bounded number of bound variables
+Normal rank
@@ Property / cites work @@
+On a conjecture concerning dot-depth two languages
+Normal rank
@@ Property / cites work @@
+Classification of finite monoids: the language approach
+Normal rank
@@ Property / cites work @@
+Graph congruences and wreath products
@@ Property / cites work: Graph congruences and wreath products / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy
+Normal rank
@@ Property / cites work @@
+Nesting until and since in linear temporal logic
@@ Property / cites work: Nesting until and since in linear temporal logic / rank @@
+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 @@
+Categories as algebra: An essential ingredient in the theory of monoids
+Normal rank
@@ Property / cites work @@
+Some results on the dot-depth hierarchy
@@ Property / cites work: Some results on the dot-depth hierarchy / rank @@
+Normal rank