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