 | Hagiya, Masami |
 |
 | Hagiya, Masami (Masami Hagiya) -- A typed lambda-calculus for proving-by-example and bottom-up generalization procedure - 1995 |
| Hagiya, Masami (Masami Hagiya) -- An Iterative and Bottom-up Procedure for Proving-by-Example - 1993 |
| Hagiya, Masami (Masami Hagiya and Koichi Takahashi) -- Discovery and Deduction - 2000 |
| Hagiya, Masami (Koichi Takahashi and Masami Hagiya) -- Searching for Mutual Exclusion Algorithms Using BDDs - 2001 |
|
