IEMHOFF, Rosalie

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
IEMHOFF, Rosalie
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Iemhoff, Rosalie ; de Jongh, Dick ; Zhou, C ; Carnielli, Walter ; Dionisio, Miguel ; Mateus, Paulo Properties of intuitionistic provability and preservativity logicsKonferenzbeitrag Inproceedings2004
2Baaz, Matthias ; Iemhoff, Rosalie On the proof theory of the existence predicateBuchbeitrag Book Contribution2005

Projects Projekte


Results 1-1 of 1 (Search time: 0.001 seconds).

TitleP-Investigator
Constructive Provability LogicIEMHOFF, Rosalie