Anela Lolic

Orcid: 0000-0002-4753-7302

Affiliations:
  • TU Wien, Vienna, Austria


According to our database1, Anela Lolic authored at least 18 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Sequent Calculi for Choice Logics.
J. Autom. Reason., June, 2024

On Proof Schemata and Primitive Recursive Arithmetic.
Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024

Herbrand's Theorem in Inductive Proofs.
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

On Translations of Epsilon Proofs to LK.
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023
Effective Skolemization.
Proceedings of the Logic, Language, Information, and Computation, 2023

2022
Towards a proof theory for quantifier macros.
Inf. Comput., 2022

Andrews Skolemization May Shorten Resolution Proofs Non-elementarily.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

2021
Towards a proof theory for Henkin quantifiers.
J. Log. Comput., 2021

Schematic Refutations of Formula Schemata.
J. Autom. Reason., 2021

2020
First-order interpolation derived from propositional interpolation.
Theor. Comput. Sci., 2020

An abstract form of the first epsilon theorem.
J. Log. Comput., 2020

On the Unification of Term Schemata.
Proceedings of the 34th International Workshop on Unification, 2020

A Globally Sound Analytic Calculus for Henkin Quantifiers.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2020

2019
Extraction of Expansion Trees.
J. Autom. Reason., 2019

Note on Globally Sound Analytic Calculi for Quantifier Macros.
Proceedings of the Logic, Language, Information, and Computation, 2019

2018
Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem.
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

2017
First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation.
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017


  Loading...