Rosalie Iemhoff
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
1998–2023
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | TABLEAUX | A New Calculus for Intuitionistic Strong Lb Logic: Strong Termination and Cut-Elimination, Formalised. | Ian Shillito, Iris van der Giessen, Rajeev Gor, Rosalie Iemhoff |
| 2022 | AiML | Uniform Lyndon interpolation for intuitionistic monotone modal logic. | Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai |
| 2021 | WoLLIC | Uniform Lyndon Interpolation for Basic Non-normal Modal Logics. | Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali |
| 2018 | AiML | The Existence of Proof Systems. | Rosalie Iemhoff |
| 2011 | WoLLIC | Unification in Logic. | Rosalie Iemhoff |
| 2009 | LFCS | Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. | Rosalie Iemhoff, George Metcalfe |
| 2005 | LPAR | On Interpolation in Existence Logics. | Matthias Baaz, Rosalie Iemhoff |
| 2003 | CSL | Towards a Proof System for Admissibility. | Rosalie Iemhoff |
| 1998 | AiML | A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic. | Rosalie Iemhoff |