Name Card

Full name Familienname, Vorname
Lolic, Anela
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 26 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Lolic, Anela First-Order Interpolation Derived from Propositional InterpolationPresentation VortragNov-2022
2Bernreiter-2022-Sequent Calculi for Choice Logics-vor.pdf.jpgBernreiter, Michael ; Lolic, Anela ; Maly, Jan ; Woltran, Stefan Sequent Calculi for Choice LogicsInproceedings Konferenzbeitrag 1-Aug-2022
3Cerna-2021-Journal of Automated Reasoning-vor.pdf.jpgCerna, David M. ; Leitsch, Alexander ; Lolic, Anela Schematic Refutations of Formula SchemataArtikel Article Jun-2021
4Baaz, Matthias ; Leitsch, Alexander ; Lolic, Anela An abstract form of the first epsilon theoremArtikel Article 2021
5Baaz, Matthias ; Lolic, Anela Towards a proof theory for Henkin quantifiersArtikel Article 2021
6Baaz, Matthias ; Lolic, Anela First-order interpolation derived from propositional interpolationArtikel Article 2020
7Baaz, Matthias ; Lolic, Anela A Globally Sound Analytic Calculus for Henkin QuantifiersKonferenzbeitrag Inproceedings2020
8Lolic Anela - 2020 - Automated proof analysis by CERES.pdf.jpgLolić, Anela Automated proof analysis by CERESThesis Hochschulschrift 2020
9Cerna, David ; Leitsch, Alexander ; Lolic, Anela Schematic Refutations of Formula SchemataPreprint Preprint2019
10Baaz, Matthias ; Lolic, Anela Note on Globally Sound Analytic Calculi for Quantifier MacrosKonferenzbeitrag Inproceedings2019
11Lolic, Anela ; Leitsch, Alexander Extraction of Expansion TreesArtikel Article 2019
12Lolic, Anela Does Gödel Logic Interpolate?Präsentation Presentation2018
13Lolic, Anela A Resolution Calculus for Recursive Clause SetsPräsentation Presentation2018
14Lolic, Anela First-Order Interpolation of Non-Classical Logics Derived from Propositional InterpolationPräsentation Presentation2018
15Leitsch, Alexander ; Baaz, Matthias ; Lolic, Anela A Sequent-Calculus Based Formulation of the Extended First Epsilon TheoremKonferenzbeitrag Inproceedings2018
16Lolic, Anela ; Baaz, Matthias Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel LogicKonferenzbeitrag Inproceedings2018
17Leitsch, Alexander ; Lolic, Anela Extraction of Expansion TreesArtikel Article 2018
18Lolic, Anela Propositional Interpolation Induces First-Order Interpolation for Finitely-Valued LogicsPräsentation Presentation2017
19Lolic, Anela A Sequent-Based Translation into the Epsilon FormatPräsentation Presentation2017
20Lolic, Anela Proof normalization and expansion proofsPräsentation Presentation2017