Pages that link to "Item:Q1771892"
From MaRDI portal
The following pages link to On locally finite varieties with undecidable equational theory. (Q1771892):
Displaying 9 items.
- Applying, extending, and specializing pseudorecursiveness (Q598283) (← links)
- Undecidability of local structures of s-degrees and Q-degrees (Q1009444) (← links)
- Towards a pseudoequational proof theory (Q1729826) (← links)
- Pseudorecursive varieties of semigroups. II (Q2909488) (← links)
- ON THE LOCAL-INDICABILITY COHEN–LYNDON THEOREM (Q3094648) (← links)
- Undecidability of the identity problem for finite semigroups (Q4008756) (← links)
- (Q4596801) (← links)
- (Q5104552) (← links)
- Algorithmic Decidability of Engel’s Property for Automaton Groups (Q5740175) (← links)