Hideto Kasuya

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2002

1 Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa: Descendants and Head Normalization of Higher-Order Rewrite Systems. FLOPS 2002: 198-211

	2002
1		Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa: Descendants and Head Normalization of Higher-Order Rewrite Systems. FLOPS 2002: 198-211

Coauthor Index