27 citations · 28 across the 7 of their papers we have counts for
1 paper · 2 filters
Jakub Kopystiański, Jan Otop
We present an extension of the Angluin-style learning algorithm for tree automata that incorporates deductive inference. The learning algorithm is provided with a term rewriting sy…