Hirofumi Yokouchi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Hirofumi Yokouchi, Teruo Hikita: A Rewriting System for Categorical Combinators with Multiple Arguments. SIAM J. Comput. 19(1): 78-97 (1990)

Selection of 1 from 8 records - Hirofumi Yokouchi has 1 coauthors