JAIST Repository: Items for Author

Home| JAIST Home| Library Home

Browse

Sign on to:

My DSpace
authorized users

Items for Author "Gaina, Daniel"

Return to Browse by Author
Sort by Title	Sorting by Date

Showing 3 items.

Date of Issue	Title	Authors
29-May-2009	Constructor-based Institutions	Gaina, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro
Sep-2009	Theorem Proving and Institutions	Gaina, Daniel
15-Dec-2014	Sufficient completeness of parameterized specifications in CafeOBJ	Nakamura, Masaki; Gaina, Daniel; Ogata, Kazuhiro; Futatsugi, Kokichi

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