Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method

Algebra, Meaning, and Computation - Lecture Notes in Computer Science ◽

10.1007/11780274_31 ◽

2006 ◽

pp. 596-615 ◽

Cited By ~ 24

Author(s):

Kazuhiro Ogata ◽

Kokichi Futatsugi