Stefan Hetzl
- Induction and Skolemization in saturation theorem proving
2021/05/17 by Stefan Hetzl, Hetzl, Stefan, Jannik Vierling +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