http://www.jaist.ac.jp/~kokichi/lecture/1609NII/

Web Page for the Course of Lectures:

Overview

Goal of the Course
Preliminary Materials:

Lecture Schedule and Materials
Installation of CafeOBJ Language System
CafeOBJ Web Page
http://www.jaist.ac.jp/~kokichi/lecture/1609NII/