JAIST Repository: Items for Author

Home| JAIST Home| Library Home

Browse

Sign on to:

My DSpace
authorized users

Items for Author "Mano, Ken"

Return to Browse by Author
Sort by Title	Sorting by Date

Showing 3 items.

Date of Issue	Title	Authors
1996	Unique normal form property of Higher-Order Rewriting	Mano, Ken; Ogawa, Mizuhito
20-Mar-1997	高階書換え系の単一正規形性	真野, 健; 小川, 瑞史; Mano, Ken; Ogawa, Mizuhito
6-May-2001	Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem	Mano, Ken; Ogawa, Mizuhito

Contact : Scholarly Communication Section, JAIST (ir-sys[at]ml.jaist.ac.jp)