Hagiya, Masami

4 publications

ALT 1993 A Typed Lambda-Calculus for Proving-by-Example and Bottom-up Generalization Procedure Masami Hagiya

ECML-PKDD 1993 An Iterative and Bottom-up Procedure for Proving-by-Example Masami Hagiya

ALT 1990 Model Inference of Constrained Recursive Figures Shuling Liu, Masami Hagiya

ALT 1990 Synthesis of Rewrite Programs by Higher-Order and Semantic Unification Masami Hagiya