group theory 1multiple context-free languages 1rational subset membership 1substitution lemma 1word problem 1
From the 1 of 3 linked papers with an AI index.
Showing math.RTShow all
1 paper · 1 filter
From the 1 of 3 linked papers with an AI index.
1 paper · 1 filter