JAIST Repository: Items for Author

Home| JAIST Home| Library Home

Browse

Sign on to:

My DSpace
authorized users

Items for Author "Ogata, K"

Return to Browse by Author
Sort by Title	Sorting by Date

Showing 2 items.

Date of Issue	Title	Authors
2000	The evaluation strategy for head normal form with and without on-demand flags	Nakamura, M; Ogata, K
Jan-2006	A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method	Seino, T; Ogata, K; Futatsugi, K

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