Vierling, Jannik

1. Unprovability results for clause set cycles
   2021/10/07 by Hetzl, Stefan, Vierling, Jannik · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Induction and Skolemization in saturation theorem proving
   2021/05/17 by Stefan Hetzl, Jannik Vierling, Hetzl, Stefan +1 · 1 citation
   Computer Science · #Cryptography and Data Security #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. Quantifier-free induction for lists
   2023/05/15 by Hetzl, Stefan, Vierling, Jannik · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)