---------------------------------------------------------------------------
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