Full name Familienname, Vorname
Baaz, Matthias
 
Main Affiliation Organisations­zuordnung
 

Filter:
Author:  Lolić, Anela

Results 1-10 of 10 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Baaz, Matthias ; Lolic, Anela First-Order Interpolation Derived from Propositional InterpolationPresentation VortragNov-2022
2Baaz, Matthias ; Leitsch, Alexander ; Lolic, Anela An abstract form of the first epsilon theoremArtikel Article 2021
3Baaz, Matthias ; Lolic, Anela Towards a proof theory for Henkin quantifiersArtikel Article 2021
4Baaz, Matthias ; Lolic, Anela First-order interpolation derived from propositional interpolationArtikel Article 2020
5Baaz, Matthias ; Lolic, Anela A Globally Sound Analytic Calculus for Henkin QuantifiersKonferenzbeitrag Inproceedings2020
6Baaz, Matthias ; Lolic, Anela Note on Globally Sound Analytic Calculi for Quantifier MacrosKonferenzbeitrag Inproceedings2019
7Leitsch, Alexander ; Baaz, Matthias ; Lolic, Anela A Sequent-Calculus Based Formulation of the Extended First Epsilon TheoremKonferenzbeitrag Inproceedings2018
8Lolic, Anela ; Baaz, Matthias Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel LogicKonferenzbeitrag Inproceedings2018
9Lolic, Anela ; Baaz, Matthias First-order interpolation from propositional interpolation: a proof theoretic approach on a semantic basisPräsentation Presentation2017
10Baaz, Matthias ; Lolic, Anela First-Order Interpolation of Non-classical Logics Derived from Propositional InterpolationKonferenzbeitrag Inproceedings2017

Filter:
Author:  Lolić, Anela

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Lolic Anela - 2020 - Automated proof analysis by CERES.pdf.jpgLolić, Anela Automated proof analysis by CERESThesis Hochschulschrift 2020