Author

Profile picture
Kazuhiro Ogata
Japan Advanced Institute of Science and Technology (JAIST)
Nomi, Japan
2 articles by this author
Sort by:
Research Article
Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method
Kazuhiro Ogata, Kokichi Futatsugi
10.3217/jucs-019-06-0771
 28-03-2013
 Unique: 796 | Total: 1003  | Access Period:
 771-804
HTML
XML
PDF
Research Article
Constructor-based Logics
Daniel Găină, Kokichi Futatsugi, Kazuhiro Ogata
10.3217/jucs-018-16-2204
 28-08-2012
 Unique: 710 | Total: 892  | Access Period:
 2204-2233
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK