The slow-growing hierarchy

Type of project: EU-project hosted at University of Münster
Duration: 01/03/2002 - 29/02/2004

The present proposal concentrates on theory while the previous one aimed at a combination of theory and software development.

Keywords: Softwareentwicklung; Mathematik; Logik