Pages that link to "Item:Q1817074"

The following pages link to Logic, semigroups and automata on words (Q1817074):

Displaying 30 items.

• Efficient algorithms for membership in Boolean hierarchies of regular languages (Q306282) (← links)
• Topological complexity of locally finite \(\omega\)-languages (Q944222) (← links)
• A note on partially ordered tree automata (Q975463) (← links)
• Polynomial closure of group languages and open sets of the Hall topology (Q1349899) (← links)
• Polynomial closure and unambiguous product (Q1361889) (← links)
• Expressive power of existential first-order sentences of Büchi's sequential calculus (Q1772275) (← links)
• Algebraic tools for the concatenation product. (Q1853747) (← links)
• Star-free sets of words on ordinals (Q1854423) (← links)
• Closure properties of locally finite \(\omega\)-languages (Q1885033) (← links)
• On ideals of quasi-commutative semigroups (Q2414185) (← links)
• Locally finite \(\omega\)-languages and effective analytic sets have the same topological complexity (Q2827947) (← links)
• Theme and Variations on the Concatenation Product (Q3014930) (← links)
• (Q3123633) (← links)
• The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings (Q3295146) (← links)
• The Algebraic Counterpart of the Wagner Hierarchy (Q3507423) (← links)
• On the continuity set of an Omega rational function (Q3514642) (← links)
• A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS (Q3538848) (← links)
• ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES (Q3561120) (← links)
• The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey (Q3586006) (← links)
• Automata vs. Logics on Data Words (Q3586037) (← links)
• (Q4036584) (← links)
• (Q4453869) (← links)
• Tameness of Some Locally Trivial Pseudovarieties (Q4803342) (← links)
• On the Topological Complexity of Infinitary Rational Relations (Q4825475) (← links)
• Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations (Q4825476) (← links)
• (Q5317419) (← links)
• A game theoretical approach to the algebraic counterpart of the Wagner hierarchy : Part I (Q5321775) (← links)
• REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES (Q5704368) (← links)
• A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS (Q5738190) (← links)
• Locally finite languages (Q5941071) (← links)