Skip to main navigation
Skip to search
Skip to main content

University of Helsinki Home

Accessibility statement

Home
Persons
Publications
Projects
Research Infrastructures
Research Units
Datasets
Activities
Prizes
Press / Media

Search by expertise, name or affiliation

Proof analysis in axiomatic systems

Conversion, Unified Project Model (PI)

Overview

Project Details

Description

Academy Research Fellowship

Status	Finished
Effective start/end date	01/08/2002 → 31/07/2007

Powered by Pure, Scopus & Elsevier Fingerprint Engine™ © 2022 Elsevier B.V.

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

About web accessibility