Pages that link to "Item:Q1921846"

The following pages link to Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup (Q1921846):

Displaying 14 items.

• Finding all solutions of equations in free groups and monoids with involution (Q342722) (← links)
• The decision problem for some logics for finite words on infinite alphabets (Q843605) (← links)
• On equations in free semigroups with certain constraints on their solutions. (Q843606) (← links)
• Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two (Q1582961) (← links)
• \(\forall \exists^{5}\)-equational theory of context unification is undecidable (Q1607219) (← links)
• Non-structural subtype entailment in automata theory (Q1887157) (← links)
• Inclusion problems for patterns with a bounded number of variables (Q1932172) (← links)
• On equations and first-order theory of one-relator monoids (Q2051781) (← links)
• Word equations in the context of string solving (Q2163975) (← links)
• On ``simple'' undecidable fragments of the positive theory of a free semigroup (Q2211367) (← links)
• Theories of orders on the set of words (Q3374756) (← links)
• (Q5239606) (← links)
• Languages generated by conjunctive query fragments of FC[REG] (Q6088950) (← links)
• On equations in free monoids and semigroups with restrictions on solutions (Q6168400) (← links)