Author

Profile picture
Kokichi Futatsugi
Japan Advanced Institute of Science and Technology
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: 365 | Total: 491  | 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: 323 | Total: 424  | Access Period:
 2204-2233
HTML
XML
PDF

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

OK