1 citations · 1 across the 1 of their papers we have counts for
1 paper
Paul Krogmeier, P. Madhusudan
We study expression learning problems with syntactic restrictions and introduce the class of finite-aspect checkable languages to characterize symbolic languages that admit decidab…