Back to overview

P2C - International Conference on Proof Theory, Provability Logic and Computation

Applicant Jäger Gerhard
Number 38837
Funding scheme Scientific Conferences
Research institution Institut für Informatik Universität Bern
Institution of higher education University of Berne - BE
Main discipline Mathematics
Start/End 01.02.1994 - 31.07.1994
Approved amount 6'000.00
Show all

Responsible applicant and co-applicants