Showing 1 - 3 results of 3 for search 'Stefan Hetzl', query time: 0.02s
Refine Results
-
1
Clause Set Cycles and Induction by Stefan Hetzl, Jannik Vierling
Published 2020-11-01
Article -
2
-
3
Some observations on the logical foundations of inductive theorem proving by Stefan Hetzl, Tin Lok Wong
Published 2018-04-01
Article