10 citations · 32 across the 7 of their papers we have counts for
1 paper · 1 filter
Paul Krogmeier, P. Madhusudan
We consider grammar-restricted exact learning of formulas and terms in finite variable logics. We propose a novel and versatile automata-theoretic technique for solving such proble…