Teruo Hikita (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

12 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 12 records - Teruo Hikita has 11 coauthors