Rosalie Iemhoff
AuthID: R-00J-E48
1
TITLE: Mathematical Logic: Proof Theory, Constructive Mathematics
AUTHORS: Samuel Buss; Rosalie Iemhoff; Ulrich Kohlenbach; Michael Rathjen;
PUBLISHED: 2021, SOURCE: Oberwolfach Reports, VOLUME: 17, ISSUE: 4
AUTHORS: Samuel Buss; Rosalie Iemhoff; Ulrich Kohlenbach; Michael Rathjen;
PUBLISHED: 2021, SOURCE: Oberwolfach Reports, VOLUME: 17, ISSUE: 4
INDEXED IN: 
CrossRef
CrossRef2
TITLE: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
AUTHORS: Rosalie Iemhoff; Michael Moortgat; Ruy J G B de Queiroz;
PUBLISHED: 2019, SOURCE: WoLLIC, VOLUME: 11541
AUTHORS: Rosalie Iemhoff; Michael Moortgat; Ruy J G B de Queiroz;
PUBLISHED: 2019, SOURCE: WoLLIC, VOLUME: 11541
INDEXED IN: 
DBLP
DBLP