---------------------------------------------------------------------------

Toshiyuki Yamada

Division of Information Engineering
Graduate School of Engineering
Mie University

---------------------------------------------------------------------------
[English / Japanese]

Research Interests
rewriting
equational logic
combinatorial optimization
automated reasoning
analysis and verification of software systems
 
Publications
 
Lectures
Introduction to Computers
Mathematical Logic
Compiler Design
Infomation Engineering Laboratory (compiler construction)
Computation Models
 

toshi@cs
lab. local