FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Beweistheorie in der Deskriptiven Komplexitätstheorie
Internally funded project
Start date :
01.01.2000
End date :
31.05.2012
Overview
Publications
(1)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
Towards Intuitionistic Dynamic Logic (2007)
Degen W, Werner J
Conference contribution