Toshiyuki Yamada

Division of Information Engineering
Graduate School of Engineering
Mie University

Research Interests

rewriting

equational logic

automated reasoning

analysis and verification of software systems

 

Publications

 

Lectures

Introduction to Computers

Mathematical Logic

Advanced Programming Exercies (tree structure and symbolic calculation)

Infomation Engineering Laboratory (compiler construction)

Computation Models

 

Events

25th TRS Meeting

Term Rewriting Workshop