Pages that link to "Item:Q868948"

The following pages link to An automata-theoretic approach to the word problem for \(\omega\)-terms over R (Q868948):

Displaying 17 items.

• Closures of regular languages for profinite topologies. (Q467504) (← links)
• The word problem for \(\omega \)-terms over DA (Q650888) (← links)
• Tameness of pseudovariety joins involving R. (Q814806) (← links)
• On bases of identities for the \(\omega\)-variety generated by locally testable semigroups. (Q935166) (← links)
• The word problem for omega-terms over the Trotter-Weil hierarchy (Q1635816) (← links)
• The \(\kappa\)-word problem over \(\mathsf{DRH}\) (Q1676315) (← links)
• Towards a pseudoequational proof theory (Q1729826) (← links)
• The word problem for \(\kappa \)-terms over the pseudovariety of local groups (Q1982578) (← links)
• Profinite topologies (Q2074218) (← links)
• Recognizing pro-\(\mathrm{R}\) closures of regular languages (Q2171905) (← links)
• Pointlike sets with respect to R and J. (Q2463850) (← links)
• McCammond’s normal forms for free aperiodic semigroups revisited (Q2940603) (← links)
• Complete κ-reducibility of pseudovarieties of the form DRH (Q2986657) (← links)
• REPRESENTATIONS OF THE FREE PROFINITE OBJECT OVER DA (Q3094332) (← links)
• Some reducibility properties for pseudovarieties of the form <i>DRH</i> (Q4567814) (← links)
• On $$\omega $$-Identities over Finite Aperiodic Semigroups with Commuting Idempotents (Q5018535) (← links)
• The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy (Q5740189) (← links)