Jannik Vierling

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 7

Top Topics

Theorem Proving

Predicate Calculus

Proof Procedure

Top Venues

Ann. Pure Appl. Log.

Log. Methods Comput. Sci.

Theor. Comput. Sci.

Publications

Stefan Hetzl, Jannik Vierling
Quantifier-free induction for lists. CoRR (2023)
Stefan Hetzl, Jannik Vierling
Induction and Skolemization in saturation theorem proving. Ann. Pure Appl. Log. 174 (1) (2023)
Stefan Hetzl, Jannik Vierling
Unprovability results for clause set cycles. Theor. Comput. Sci. 935 (2022)
Stefan Hetzl, Jannik Vierling
Unprovability results for clause set cycles. CoRR (2021)
Stefan Hetzl, Jannik Vierling
Induction and Skolemization in saturation theorem proving. CoRR (2021)
Stefan Hetzl, Jannik Vierling
Clause Set Cycles and Induction. Log. Methods Comput. Sci. 16 (4) (2020)
Stefan Hetzl, Jannik Vierling
Clause Set Cycles and Induction. CoRR (2019)