Search alternatives:
"finding finite" » "building finite"
"fitting finite" » "fitted finite", "testing finite"

1
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... algorithm for finding finite unions of tree pattern languages -- Towards efficient inductive synthesis...