| layout | title | permalink |
|---|---|---|
page |
Publications |
/publications/ |
-
Clause Set Cycles and Induction (with Stefan Hetzl), Logical Methods in Computer Science, November 30, 2020, Volume 16, Issue 4
[[pdf]({{ site.url }}/downloads/Clause Set Cycles and Induction.pdf), arXiv, LMCS] -
Unprovability results for clause set cycles (with Stefan Hetzl), Theoretical Computer Science, Available online 13 July 2022
[[pdf]({{ site.url }}/downloads/hetzl_vierling_2022_tcs.pdf), arXiv, TCS] -
Induction and Skolemization in saturation theorem proving (with Stefan Hetzl), Annals of pure and applied logic, January 2023, Volume 174, Issue 1
[[pdf]({{ site.url }}/downloads/hetzl_vierling_2022_apal.pdf), arXiv, APAL]
- Dissertation: The limits of automated inductive theorem provers
[[pdf]({{ site.url }}/downloads/dissertation.pdf)]
-
Master Thesis: Cyclic Superposition and Induction
[[pdf]({{ site.url }}/downloads/Cyclic Superposition and Induction.pdf)] -
Bachelor Thesis: An Overview over Models for Fuzzy Quantifiers
[[pdf]( {{ site.url }}/downloads/An Overview over Models for Fuzzy Quantifiers.pdf)]
-
International Summer School on Proof Theory, Ghent, 2018, Clause Set Cycles and Induction
[[pdf]({{ site.url }}/downloads/Poster-Clause Set Cycles and Induction.pdf)] -
Diplomarbeitspräsentation, 2018, Zyklische Superposition und Induktion
[[pdf]({{ site.url }}/downloads/Zyklische Superposition und Induktion.pdf)]