Translating nonstandard proofs to constructive ones

Abstract

From 09.01.05 to 14.01.05, the Dagstuhl Seminar 05021 Mathematics, Algorithms, Proofs was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics