[ English | Japanese ]

Research

Laboratory Introduction

Our research group studies the theory of computation and automated deduction.

Software and Web Service

CoLL and Saigawa
confluence tools
COPS
a confluence problems database
Maxcomp
a completion tool

Keywords

computational models, term rewriting, functional programming, automated theorem proving, termination, complexity analysis, confluence, completion, evaluation strategies