Amirhossein Akbar Tabatabai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2021–2022
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | AiML | Uniform Lyndon interpolation for intuitionistic monotone modal logic. | Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai |
| 2022 | AiML | Provability Logics of Hierarchies. | Amirhossein Akbar Tabatabai |
| 2022 | WoLLIC | Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic. | Amirhossein Akbar Tabatabai |
| 2021 | WoLLIC | Uniform Lyndon Interpolation for Basic Non-normal Modal Logics. | Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali |