SearchTitlesCreatorsDatesPhrases

A B C D E F G H I J K L M N O P Q-R S T U V W X-Y Z
close this section of the library Hagiya, M.
View the document Hagiya, M. (M. Hagiya) -- Synthesis of Rewrite Programs by Higher-Order and Semantic Unification - 1991