Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Kazuhiro Ogata
Japan Advanced Institute of Science and Technology, Japan

K. Ogata, K. Futatsugi:
Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method
/jucs_19_6/compositionally_writing_proof_scores
page 771 - 804
Vol.19 / Issue 6
D. Găină, K. Futatsugi, K. Ogata:
Constructor-based Logics
/jucs_18_16/constructor_based_logics
page 2204 - 2233
Vol.18 / Issue 16