Pages that link to "Item:Q4285342"

The following pages link to AN ALGEBRAIC THEORY FOR REGULAR LANGUAGES OF FINITE AND INFINITE WORDS (Q4285342):

Displayed 11 items.

• Reducing the time complexity of testing for local threshold testability (Q703505) ‎ (← links)
• A negative answer to a question of Wilke on varieties of \(\omega\)-languages (Q1350291) ‎ (← links)
• On syntactic congruences for \(\omega\)-languages (Q1391139) ‎ (← links)
• Wreath product and infinite words (Q1587974) ‎ (← links)
• Logic, semigroups and automata on words (Q1817074) ‎ (← links)
• A Reiterman theorem for pseudovarieties of finite first-order structures (Q1921405) ‎ (← links)
• Algebra for Infinite Forests with an Application to the Temporal Logic EF (Q3184670) ‎ (← links)
• Complexity of Topological Properties of Regular ω-Languages (Q3533038) ‎ (← links)
• Algebraic and graph-theoretic properties of infinite<i>n</i>-posets (Q4680742) ‎ (← links)
• Axiomatizing omega and omega-op powers of words (Q4825384) ‎ (← links)
• Long words: The theory of concatenation and \(\omega\)-power (Q5941292) ‎ (← links)