IEMHOFF, Rosalie

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
IEMHOFF, Rosalie
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


Filter:
Author:  Baaz, Matthias

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

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Iemhoff, Rosalie Skolemization in intermediate logics with the finite model propertyArtikel Article 2016
2Baaz, M. ; Iemhoff, R. Eskolemization in intuitionistic logicArtikel Article2011
3Baaz, Matthias ; Iemhoff, Rosalie Konstruktivismus und IntuitionismusArtikel Article2006
4Baaz, Matthias ; Iemhoff, Rosalie The Skolemization of existential quantifiers in intuitionistic logicArtikel Article2006
5Baaz, Matthias ; Iemhoff, Rosalie Gentzen calculi for the existence predicateArtikel Article 2006
6Baaz, Matthias ; Iemhoff, Rosalie On the proof theory of the existence predicateBuchbeitrag Book Contribution2005

Contributing Publications Mitbeteiligte Publikationen


Filter:
Author:  Baaz, Matthias

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

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Lolic, Anela Note on Globally Sound Analytic Calculi for Quantifier MacrosKonferenzbeitrag Inproceedings2019