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

Toshiyuki Yamada

Division of Information Engineering
Graduate School of Engineering
Mie University

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

Research Interests
computational logic
combinatorial optimization
automated reasoning
analysis and verification of software systems
 
Publications
 
Lectures
Mathematical Logic
Algorithms and Data Structures
Compiler Design
Computation Models
 

toshi@cs