( en | de | ru )

 

Disambiguation of "Jalali, Raheleh"

Author of the publication

copydeleteadd this publication to your clipboard
On the Completeness of Interpolation Algorithms.

, and . LICS, page 45:1-45:13. ACM, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Laleh Jalali

Samina Jalali

Samina Jalali

Behrang Jalali

Samina Jalali

 

Other publications of authors with the same name

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation., , and . TABLEAUX, volume 14278 of Lecture Notes in Computer Science, page 263-282. Springer, (2023)Uniform Lyndon interpolation for intuitionistic monotone modal logic., , and . AiML, page 77-96. College Publications, (2022)Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics., , and . CoRR, (2022)Uniform interpolation via nested sequents and hypersequents., , and . CoRR, (2021)Universal proof theory: Semi-analytic rules and Craig interpolation., and . Ann. Pure Appl. Log., 176 (1): 103509 (2025)An Exponential Lower Bound for Proofs in Focused Calculi.. WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 342-355. Springer, (2019)Universal Proof Theory: Constructive Rules and Feasible Admissibility., and . CoRR, (2022)Uniform Interpolation via Nested Sequents., , and . WoLLIC, volume 13038 of Lecture Notes in Computer Science, page 337-354. Springer, (2021)Uniform Lyndon Interpolation for Basic Non-normal Modal Logics., , and . WoLLIC, volume 13038 of Lecture Notes in Computer Science, page 287-301. Springer, (2021)On the Completeness of Interpolation Algorithms., and . LICS, page 45:1-45:13. ACM, (2024)