26 citations · 74 across the 12 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…