Research

Laboratory Introduction

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

• slides (pdf)

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