10 citations · 32 across the 7 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…