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 Takahashi, Koichi
View the document Takahashi, Koichi (Masami Hagiya and Koichi Takahashi) -- Discovery and Deduction - 2000
View the document Takahashi, Koichi (Koichi Takahashi and Masami Hagiya) -- Searching for Mutual Exclusion Algorithms Using BDDs - 2001