Rosalie Iemhoff
AuthID: R-00J-E48
1
TÃTULO: Mathematical Logic: Proof Theory, Constructive Mathematics
AUTORES: Samuel Buss; Rosalie Iemhoff; Ulrich Kohlenbach; Michael Rathjen;
PUBLICAÇÃO: 2021, FONTE: Oberwolfach Reports, VOLUME: 17, NÚMERO: 4
AUTORES: Samuel Buss; Rosalie Iemhoff; Ulrich Kohlenbach; Michael Rathjen;
PUBLICAÇÃO: 2021, FONTE: Oberwolfach Reports, VOLUME: 17, NÚMERO: 4
INDEXADO EM: 
CrossRef
CrossRef2
TÃTULO: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
AUTORES: Rosalie Iemhoff; Michael Moortgat; Ruy J G B de Queiroz;
PUBLICAÇÃO: 2019, FONTE: WoLLIC, VOLUME: 11541
AUTORES: Rosalie Iemhoff; Michael Moortgat; Ruy J G B de Queiroz;
PUBLICAÇÃO: 2019, FONTE: WoLLIC, VOLUME: 11541
INDEXADO EM: 
DBLP
DBLP