Anela Lolic

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 20

Top Topics

Sequent Calculi

Image Interpolation

Top Venues

J. Autom. Reason.

J. Log. Comput.

Publications

Matthias Baaz, Anela Lolic
On Translations of Epsilon Proofs to LK. LPAR (2024)
Alexander Leitsch, Anela Lolic, Stella Mahler
On Proof Schemata and Primitive Recursive Arithmetic. LPAR Complementary Volume (2024)
Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran
Sequent Calculi for Choice Logics. J. Autom. Reason. 68 (2) (2024)
Alexander Leitsch, Anela Lolic
Herbrand's Theorem in Inductive Proofs. LPAR (2024)
Matthias Baaz, Anela Lolic
Effective Skolemization. WoLLIC (2023)
Matthias Baaz, Anela Lolic
Towards a proof theory for quantifier macros. Inf. Comput. 287 (2022)
Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran
Sequent Calculi for Choice Logics. IJCAR (2022)
Matthias Baaz, Anela Lolic
Andrews Skolemization May Shorten Resolution Proofs Non-elementarily. LFCS (2022)
Matthias Baaz, Anela Lolic
Towards a proof theory for Henkin quantifiers. J. Log. Comput. 31 (1) (2021)
David M. Cerna, Alexander Leitsch, Anela Lolic
Schematic Refutations of Formula Schemata. J. Autom. Reason. 65 (5) (2021)
Matthias Baaz, Anela Lolic
A Globally Sound Analytic Calculus for Henkin Quantifiers. LFCS (2020)
David M. Cerna, Alexander Leitsch, Anela Lolic
On the Unification of Term Schemata. UNIF (2020)
Matthias Baaz, Anela Lolic
First-order interpolation derived from propositional interpolation. Theor. Comput. Sci. 837 (2020)
Matthias Baaz, Alexander Leitsch, Anela Lolic
An abstract form of the first epsilon theorem. J. Log. Comput. 30 (8) (2020)
Alexander Leitsch, Anela Lolic
Extraction of Expansion Trees. J. Autom. Reason. 62 (3) (2019)
David M. Cerna, Alexander Leitsch, Anela Lolic
Schematic Refutations of Formula Schemata. CoRR (2019)
Matthias Baaz, Anela Lolic
Note on Globally Sound Analytic Calculi for Quantifier Macros. WoLLIC (2019)
Matthias Baaz, Anela Lolic
Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic. LPAR (2018)
Matthias Baaz, Alexander Leitsch, Anela Lolic
A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem. LFCS (2018)
Matthias Baaz, Anela Lolic
First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation. FroCoS (2017)