Back to overview

Function algebras and theories for computational complexity

English title Function algebras and theories for computational complexity
Applicant Oitavem Isabel
Contact person Strahm Thomas
Number 162321
Funding scheme International short research visits
Research institution
Institution of higher education University of Berne - BE
Main discipline Mathematics
Start/End 01.06.2015 - 30.06.2015
Approved amount 3'500.00
Show all

All Disciplines (2)

Information Technology

Keywords (6)

Computational Complexity; Implicit Characerizations; Applicative Theories; Probabilistic Classes; Sub-polynomial Classes; Proof Theory

Responsible applicant and co-applicants

Associated projects

Number Title Start Funding scheme
144596 Functional interpretations of Kripke-Platek set theory 01.09.2012 International short research visits
156061 Algebraic and Logical Aspects of Knowledge Processing 01.10.2014 Project funding (Div. I-III)