10 citations · 12 across the 3 of their papers we have counts for
1 paper · 1 filter
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…