Facet browsing currently unavailable
Page 1 of 1 results
Sort by: relevance publication year
Showing DOI matching
10.1007/3-540-57163-9_36
ON tree pattern unification problems BOOK CHAPTER published 1993 in Fundamentals of Computation Theory |