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

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
Mathematical Logic
Compiler Design
Infomation Engineering Laboratory (compiler construction)
Computation Models
 

toshi@cs
lab. local