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