Yuuichi Kawaguchi

Representation and Calculation of Objects with Classes and Partial Structures, Based on The Declarative Computation Model

Kiyoshi Akama, Eiichi Miyamoto, Yuuichi Kawaguchi, 1995 .

Applying Program Transformation to Type Inference for a Logic Language

Kiyoshi Akama, Eiichi Miyamoto, Yuuichi Kawaguchi, 1998 .

A Matrix Representation for Resolution in Propositional Logic

Yuuichi Kawaguchi, 2008 .

A Simple Framework for Objects That Have Classes and Substructures Based on ET Paradigm

Kiyoshi Akama, Eiichi Miyamoto, Yuuichi Kawaguchi, 2000 .

Notes for Comparison with Applications for Making Back-up Copies

Yuuichi Kawaguchi, 2005 .

Practice of Analysis of Variance and Multiple Comparison Using Free Software 'R'

Yuuichi Kawaguchi, 2008 .