OpenAlex
Jannik Vierling
Author
View works
Alternate name Jannik Vierling
Institution TU Wien
Past institution TU Wien
ORCID: Yes
H-index: 2
I10-index:
Works count: 8
Citations count: 6
Top works
Clause Set Cycles and Induction
2019 · Stefan Hetzl, Jannik Vierling · arXiv (Cornell University)
Clause Set Cycles and Induction
2019 · Stefan Hetzl, Jannik Vierling · arXiv (Cornell University)
Induction and Skolemization in saturation theorem proving
2022 · Stefan Hetzl, Jannik Vierling · Annals of Pure and Applied Logic
Key stats
year
open access
topic
type